HVIP_VSTIP
hypctx->guest_csrs.hvip |= HVIP_VSTIP;
hypctx->guest_csrs.hvip &= ~HVIP_VSTIP;
atomic_clear_32(&hypctx->interrupts_pending, HVIP_VSTIP);
atomic_set_32(&hypctx->interrupts_pending, HVIP_VSTIP);
atomic_set_32(&hypctx->interrupts_pending, HVIP_VSTIP);