VRS_PEND_SIPI
if ((vcpu->run_state & (VRS_INIT | VRS_RUN | VRS_PEND_SIPI)) ==
(VRS_INIT | VRS_PEND_SIPI)) {
vcpu->run_state &= ~VRS_PEND_SIPI;
vcpu->run_state &= ~VRS_PEND_SIPI;
vcpu->run_state |= VRS_PEND_SIPI;
((v) & (VRS_INIT | VRS_RUN | VRS_PEND_SIPI | VRS_PEND_SIPI))