Constant KVM_MMU_FSL_BOOKE_HV 

pub const KVM_MMU_FSL_BOOKE_HV: u32 = 1; // 1u32