hypervisor_callback
(unsigned long) hypervisor_callback,
void hypervisor_callback(void);
GSEL(GCODE_SEL, SEL_KPL), (unsigned long)hypervisor_callback,
void hypervisor_callback(void);
extern void hypervisor_callback(void);
initctx->event_callback_eip = (unsigned long)hypervisor_callback;
initctx->event_callback_eip = (unsigned long)hypervisor_callback;