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