Constant __HYPERVISOR_fpu_taskswitch

pub const __HYPERVISOR_fpu_taskswitch: u32 = 5;