Constant __HYPERVISOR_hypfs_op 

pub const __HYPERVISOR_hypfs_op: u32 = 42;