POSTED_INTR_DESC_ADDR 2999 arch/x86/kvm/vmx/nested.c 			vmcs_write64(POSTED_INTR_DESC_ADDR,
POSTED_INTR_DESC_ADDR   42 arch/x86/kvm/vmx/vmcs12.c 	FIELD64(POSTED_INTR_DESC_ADDR, posted_intr_desc_addr),
POSTED_INTR_DESC_ADDR 4179 arch/x86/kvm/vmx/vmx.c 		vmcs_write64(POSTED_INTR_DESC_ADDR, __pa((&vmx->pi_desc)));