Changeset View
Changeset View
Standalone View
Standalone View
sys/xen/hypervisor.h
Show First 20 Lines • Show All 51 Lines • ▼ Show 20 Lines | |||||
#define is_initial_xendomain() 0 | #define is_initial_xendomain() 0 | ||||
#endif | #endif | ||||
extern start_info_t *xen_start_info; | extern start_info_t *xen_start_info; | ||||
extern uint64_t get_system_time(int ticks); | extern uint64_t get_system_time(int ticks); | ||||
static inline int | static inline int | ||||
HYPERVISOR_console_write(char *str, int count) | HYPERVISOR_console_write(const char *str, int count) | ||||
{ | { | ||||
return HYPERVISOR_console_io(CONSOLEIO_write, count, str); | return HYPERVISOR_console_io(CONSOLEIO_write, count, str); | ||||
} | } | ||||
static inline void HYPERVISOR_crash(void) __dead2; | static inline void HYPERVISOR_crash(void) __dead2; | ||||
static inline int | static inline int | ||||
HYPERVISOR_yield(void) | HYPERVISOR_yield(void) | ||||
▲ Show 20 Lines • Show All 86 Lines • Show Last 20 Lines |