Files
xen/extras/mini-os/include/kernel.h
T
Samuel Thibault 4813ceb154 mini-os: Notify shutdown through weak function call instead of wake queue
To allow for more flexibility, this notifies domain shutdown through a
function rather than a wake queue, to let the application use a wake
queue only if it wishes.

Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Committed-by: Keir Fraser <keir@xen.org>
2013-01-09 08:43:53 +00:00

8 lines
148 B
C

#ifndef _KERNEL_H_
#define _KERNEL_H_
extern void do_exit(void) __attribute__((noreturn));
extern void stop_kernel(void);
#endif /* _KERNEL_H_ */