clockpro_pagequeue
q = clockpro_pagequeue(pg);
KASSERT(clockpro_pagequeue(pg) == coldq);
KASSERT(clockpro_pagequeue(pg) == hotq);