pub const KVM_MMU_FSL_BOOKE_NOHV: u32 = 0;