CLOCKPRO_HOTQ
pageq_len(clockpro_queue(s, CLOCKPRO_HOTQ)) == 0);
clockpro_insert_tail(s, CLOCKPRO_HOTQ, pg);
clockpro_dropswap(clockpro_queue(s, CLOCKPRO_HOTQ), &todo);
TAILQ_FOREACH(pg, &clockpro_queue(s, CLOCKPRO_HOTQ)->q_q, pdqueue) {
if (clockpro_getq(pg) != CLOCKPRO_HOTQ) {
hotqlen, pageq_len(clockpro_queue(s, CLOCKPRO_HOTQ)),
pdsim_dumpq(CLOCKPRO_HOTQ);
KASSERT(qidx == CLOCKPRO_HOTQ || qidx == CLOCKPRO_COLDQ);
hotq = clockpro_queue(s, CLOCKPRO_HOTQ);
clockpro_insert_head(s, CLOCKPRO_HOTQ, pg);
hotq = clockpro_queue(s, CLOCKPRO_HOTQ);