mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 18:21:39 +01:00
8 lines
148 B
C
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_ */
|