VHPET_NUM_TIMERS
cap |= (VHPET_NUM_TIMERS - 1) << 8; /* number of timers */
for (i = 0; i < VHPET_NUM_TIMERS; i++) {
for (i = 0; i < VHPET_NUM_TIMERS; i++)
for (i = 0; i < VHPET_NUM_TIMERS; i++) {
for (i = 0; i < VHPET_NUM_TIMERS; i++) {
for (i = 0; i < VHPET_NUM_TIMERS; i++) {
CTASSERT(VHPET_NUM_TIMERS >= 3 && VHPET_NUM_TIMERS <= 32);
if (i >= VHPET_NUM_TIMERS)
for (i = 0; i < VHPET_NUM_TIMERS; i++) {
for (i = 0; i < VHPET_NUM_TIMERS; i++)
} timer[VHPET_NUM_TIMERS];