void
dtrace_vtime_enable(void)
{
dtrace_vtime_state_t state, nstate = 0;
do {
state = dtrace_vtime_active;
switch (state) {
case DTRACE_VTIME_INACTIVE:
nstate = DTRACE_VTIME_ACTIVE;
break;
case DTRACE_VTIME_INACTIVE_TNF:
nstate = DTRACE_VTIME_ACTIVE_TNF;
break;
case DTRACE_VTIME_ACTIVE:
case DTRACE_VTIME_ACTIVE_TNF:
panic("DTrace virtual time already enabled");
}
} while (dtrace_cas32((uint32_t *)&dtrace_vtime_active,
state, nstate) != state);
}
void
dtrace_vtime_disable(void)
{
dtrace_vtime_state_t state, nstate = 0;
do {
state = dtrace_vtime_active;
switch (state) {
case DTRACE_VTIME_ACTIVE:
nstate = DTRACE_VTIME_INACTIVE;
break;
case DTRACE_VTIME_ACTIVE_TNF:
nstate = DTRACE_VTIME_INACTIVE_TNF;
break;
case DTRACE_VTIME_INACTIVE:
case DTRACE_VTIME_INACTIVE_TNF:
panic("DTrace virtual time already disabled");
}
} while (dtrace_cas32((uint32_t *)&dtrace_vtime_active,
state, nstate) != state);
}
void
dtrace_vtime_switch(kthread_t *next)
{
dtrace_icookie_t cookie;
hrtime_t ts;
cookie = dtrace_interrupt_disable();
ts = dtrace_gethrtime();
if (curthread->t_dtrace_start != 0) {
curthread->t_dtrace_vtime += ts - curthread->t_dtrace_start;
curthread->t_dtrace_start = 0;
}
if (next != NULL)
next->t_dtrace_start = ts;
dtrace_interrupt_enable(cookie);
}