Searched refs:posted_intr_desc_addr (Results 1 – 1 of 1) sorted by relevance
222 u64 posted_intr_desc_addr; member659 FIELD64(POSTED_INTR_DESC_ADDR, posted_intr_desc_addr),8707 if (!IS_ALIGNED(vmcs12->posted_intr_desc_addr, 64) || in nested_get_vmcs12_pages()8708 vmcs12->posted_intr_desc_addr >> maxphyaddr) in nested_get_vmcs12_pages()8716 nested_get_page(vcpu, vmcs12->posted_intr_desc_addr); in nested_get_vmcs12_pages()8728 (unsigned long)(vmcs12->posted_intr_desc_addr & in nested_get_vmcs12_pages()9150 (unsigned long)(vmcs12->posted_intr_desc_addr & in prepare_vmcs02()