Searched defs:maxphyaddr (Results 1 – 5 of 5) sorted by relevance
4278 int maxphyaddr, int level, bool nx, bool gbpages, in __reset_rsvds_bits_mask()4376 int maxphyaddr, bool execonly) in __reset_rsvds_bits_mask_ept()
9231 int maxphyaddr = cpuid_maxphyaddr(vcpu); in valid_ept_address() local11734 int maxphyaddr; in nested_vmx_check_msr_switch() local11776 int maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_pml_controls() local
4182 u64 maxphyaddr; in check_cr_write() local
6594 int maxphyaddr = boot_cpu_data.x86_phys_bits; in kvm_set_mmio_spte_mask() local
602 int maxphyaddr; member
