pub const KVM_MMU_FSL_BOOKE_HV: u32 = 1;