VLAPIC_TIMER_UNLOCK
VLAPIC_TIMER_UNLOCK(vlapic);
VLAPIC_TIMER_UNLOCK(vlapic);
VLAPIC_TIMER_UNLOCK(vlapic);
VLAPIC_TIMER_UNLOCK(vlapic);
VLAPIC_TIMER_UNLOCK(vlapic);
VLAPIC_TIMER_UNLOCK(vlapic);