Home
last modified time | relevance | path

Searched refs:maxphyaddr (Results 1 – 7 of 7) sorted by relevance

/arch/x86/kvm/
Dcpuid.h32 return vcpu->arch.maxphyaddr; in cpuid_maxphyaddr()
Dmmu.c4500 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 …]
Dcpuid.c148 vcpu->arch.maxphyaddr = cpuid_query_maxphyaddr(vcpu); in kvm_update_cpuid()
Demulate.c4234 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()
Dx86.c9412 vcpu->arch.maxphyaddr = cpuid_query_maxphyaddr(vcpu); in kvm_arch_vcpu_init()
/arch/x86/include/asm/
Dkvm_host.h296 unsigned int maxphyaddr:6; member
652 int maxphyaddr; member
/arch/x86/kvm/vmx/
Dnested.c764 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()