Searched defs:maxphyaddr (Results 1 – 4 of 4) sorted by relevance
761 int maxphyaddr; in nested_vmx_check_msr_switch() local2638 int maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_eptp() local
299 unsigned int maxphyaddr:6; member643 int maxphyaddr; member
3972 int maxphyaddr, int level, bool nx, bool gbpages, in __reset_rsvds_bits_mask()4072 int maxphyaddr, bool execonly) in __reset_rsvds_bits_mask_ept()
4270 u64 maxphyaddr; in check_cr_write() local