Searched refs:POSTED_INTR_DESC_ADDR (Results 1 – 4 of 4) sorted by relevance
42 FIELD64(POSTED_INTR_DESC_ADDR, posted_intr_desc_addr),
3242 vmcs_write64(POSTED_INTR_DESC_ADDR, in nested_get_vmcs12_pages()
4442 vmcs_write64(POSTED_INTR_DESC_ADDR, __pa((&vmx->pi_desc))); in init_vmcs()
198 POSTED_INTR_DESC_ADDR = 0x00002016, enumerator