Constant __HYPERVISOR_fpu_taskswitch 

pub const __HYPERVISOR_fpu_taskswitch: u32 = 5;