CLOCKPRO_NQUEUE
KASSERT(qidx <= CLOCKPRO_NQUEUE);
KASSERT(qidx <= CLOCKPRO_NQUEUE);
pageq_t s_q[CLOCKPRO_NQUEUE];
KASSERT(qidx <= CLOCKPRO_NQUEUE);
for (i = 0; i < CLOCKPRO_NQUEUE; i++) {