V_TIME
tid = %d\n", V_MIN, V_TIME, tp->t_msglen, tp->t_vtid));
if (V_MIN == 0 && V_TIME > 0) {
} else if (V_MIN > 0 && V_TIME == 0) {
} else if (V_MIN > 0 && V_TIME > 0) {
V_TIME));
if (V_MIN == 0 && V_TIME > 0) {
} else if (V_MIN > 0 && V_TIME == 0) {
} else if (V_MIN > 0 && V_TIME > 0) {
if (V_MIN && V_TIME) {
(clock_t)(V_TIME * (hz / 10)));