nested_cpu_has_posted_intr
if (nested_cpu_has_posted_intr(vmcs12)) {
!nested_cpu_has_posted_intr(vmcs12))
if (nested_cpu_has_posted_intr(vmcs12) &&