VHPET_NUM_TIMERS
struct vhpet_timer timer[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++) {
if (i >= VHPET_NUM_TIMERS)
for (i = 0; i < VHPET_NUM_TIMERS; i++) {
for (i = 0; i < VHPET_NUM_TIMERS; i++)
for (uint_t i = 0; i < VHPET_NUM_TIMERS; i++) {
for (uint_t i = 0; i < VHPET_NUM_TIMERS; i++) {
for (uint_t i = 0; i < VHPET_NUM_TIMERS; i++) {
CTASSERT(VHPET_NUM_TIMERS >= 3 && VHPET_NUM_TIMERS <= 32);
if ((src->vh_isr & ~(uint64_t)((1 << VHPET_NUM_TIMERS) - 1)) != 0) {