Searched refs:maxphyaddr (Results 1 – 7 of 7) sorted by relevance
/arch/x86/kvm/ |
D | cpuid.h | 32 return vcpu->arch.maxphyaddr; in cpuid_maxphyaddr()
|
D | mmu.c | 4500 int maxphyaddr, int level, bool nx, bool gbpages, in __reset_rsvds_bits_mask() argument 4543 rsvd_bits(maxphyaddr, 63) | in __reset_rsvds_bits_mask() 4546 rsvd_bits(maxphyaddr, 62); /* PDE */ in __reset_rsvds_bits_mask() 4548 rsvd_bits(maxphyaddr, 62); /* PTE */ in __reset_rsvds_bits_mask() 4550 rsvd_bits(maxphyaddr, 62) | in __reset_rsvds_bits_mask() 4558 rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask() 4565 rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask() 4568 rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask() 4570 rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask() 4572 rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask() [all …]
|
D | cpuid.c | 148 vcpu->arch.maxphyaddr = cpuid_query_maxphyaddr(vcpu); in kvm_update_cpuid()
|
D | emulate.c | 4234 u64 maxphyaddr; in check_cr_write() local 4241 maxphyaddr = eax & 0xff; in check_cr_write() 4243 maxphyaddr = 36; in check_cr_write() 4244 rsvd = rsvd_bits(maxphyaddr, 63); in check_cr_write()
|
D | x86.c | 9412 vcpu->arch.maxphyaddr = cpuid_query_maxphyaddr(vcpu); in kvm_arch_vcpu_init()
|
/arch/x86/include/asm/ |
D | kvm_host.h | 296 unsigned int maxphyaddr:6; member 652 int maxphyaddr; member
|
/arch/x86/kvm/vmx/ |
D | nested.c | 764 int maxphyaddr; in nested_vmx_check_msr_switch() local 768 maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_msr_switch() 769 if (!IS_ALIGNED(addr, 16) || addr >> maxphyaddr || in nested_vmx_check_msr_switch() 770 (addr + count * sizeof(struct vmx_msr_entry) - 1) >> maxphyaddr) in nested_vmx_check_msr_switch() 2464 int maxphyaddr = cpuid_maxphyaddr(vcpu); in valid_ept_address() local 2485 if (CC(address >> maxphyaddr || ((address >> 7) & 0x1f))) in valid_ept_address()
|