Searched refs:cpuid_maxphyaddr (Results 1 – 4 of 4) sorted by relevance
25 static inline int cpuid_maxphyaddr(struct kvm_vcpu *vcpu) in cpuid_maxphyaddr() function
6504 int maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_vmptr()8663 int maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_get_vmcs12_pages()8770 maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_msr_bitmap_controls()8919 maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_msr_switch()
3590 int maxphyaddr = cpuid_maxphyaddr(vcpu); in reset_rsvds_bits_mask()3665 int maxphyaddr = cpuid_maxphyaddr(vcpu); in reset_rsvds_bits_mask_ept()
281 u64 reserved_bits = ((~0ULL) << cpuid_maxphyaddr(vcpu)) | in kvm_set_apic_base()1836 mask = (~0ULL) << cpuid_maxphyaddr(vcpu); in kvm_mtrr_valid()