posted_intr_desc_addr  750 arch/x86/kvm/vmx/nested.c 	    CC((vmcs12->posted_intr_desc_addr & 0x3f)) ||
posted_intr_desc_addr  751 arch/x86/kvm/vmx/nested.c 	    CC((vmcs12->posted_intr_desc_addr >> cpuid_maxphyaddr(vcpu)))))
posted_intr_desc_addr 2995 arch/x86/kvm/vmx/nested.c 		if (!kvm_vcpu_map(vcpu, gpa_to_gfn(vmcs12->posted_intr_desc_addr), map)) {
posted_intr_desc_addr 2998 arch/x86/kvm/vmx/nested.c 				offset_in_page(vmcs12->posted_intr_desc_addr));
posted_intr_desc_addr 3000 arch/x86/kvm/vmx/nested.c 				     pfn_to_hpa(map->pfn) + offset_in_page(vmcs12->posted_intr_desc_addr));
posted_intr_desc_addr 3401 arch/x86/kvm/vmx/nested.c 		gfn = vmcs12->posted_intr_desc_addr >> PAGE_SHIFT;
posted_intr_desc_addr   42 arch/x86/kvm/vmx/vmcs12.c 	FIELD64(POSTED_INTR_DESC_ADDR, posted_intr_desc_addr),
posted_intr_desc_addr   46 arch/x86/kvm/vmx/vmcs12.h 	u64 posted_intr_desc_addr;
posted_intr_desc_addr  236 arch/x86/kvm/vmx/vmcs12.h 	CHECK_OFFSET(posted_intr_desc_addr, 112);