Searched defs:maxphyaddr (Results 1 – 4 of 4) sorted by relevance
764 int maxphyaddr; in nested_vmx_check_msr_switch() local2464 int maxphyaddr = cpuid_maxphyaddr(vcpu); in valid_ept_address() local
296 unsigned int maxphyaddr:6; member652 int maxphyaddr; member
4500 int maxphyaddr, int level, bool nx, bool gbpages, in __reset_rsvds_bits_mask()4599 int maxphyaddr, bool execonly) in __reset_rsvds_bits_mask_ept()
4234 u64 maxphyaddr; in check_cr_write() local