Searched defs:maxphyaddr (Results 1 – 3 of 3) sorted by relevance
764 int maxphyaddr; in nested_vmx_check_msr_switch() local2649 int maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_eptp() local
300 unsigned int maxphyaddr:6; member643 int maxphyaddr; member
3982 int maxphyaddr, int level, bool nx, bool gbpages, in __reset_rsvds_bits_mask()4082 int maxphyaddr, bool execonly) in __reset_rsvds_bits_mask_ept()