Constant xen_sys::__HYPERVISOR_stack_switch

pub const __HYPERVISOR_stack_switch: u32 = 3;