PINBASED_POSTED_INTERRUPT
MSR_VMX_TRUE_PINBASED_CTLS, PINBASED_POSTED_INTERRUPT, 0,
pinbased_ctls |= PINBASED_POSTED_INTERRUPT;
if (pin & PINBASED_POSTED_INTERRUPT)