cpu_has_vmx_posted_intr
cpu_has_vmx_posted_intr();
if (cpu_has_vmx_posted_intr())
return cpu_has_vmx_posted_intr();