Searched refs:POSTED_INTR_DESC_ADDR (Results 1 – 2 of 2) sorted by relevance
155 POSTED_INTR_DESC_ADDR = 0x00002016, enumerator
729 FIELD64(POSTED_INTR_DESC_ADDR, posted_intr_desc_addr),5040 vmcs_write64(POSTED_INTR_DESC_ADDR, __pa((&vmx->pi_desc))); in vmx_vcpu_setup()9742 vmcs_write64(POSTED_INTR_DESC_ADDR, in prepare_vmcs02()