pageq_len
pageq_len(clockpro_queue(s, CLOCKPRO_NEWQ)) == 0);
pageq_len(clockpro_queue(s, CLOCKPRO_HOTQ)) == 0);
newqlen, pageq_len(clockpro_queue(s, CLOCKPRO_NEWQ)),
coldqlen, pageq_len(clockpro_queue(s, CLOCKPRO_COLDQ)),
hotqlen, pageq_len(clockpro_queue(s, CLOCKPRO_HOTQ)),
listqlen, pageq_len(clockpro_queue(s, CLOCKPRO_LISTQ)));
while (pageq_len(newq) > len) {
MAX(pageq_len(clockpro_queue(s, CLOCKPRO_NEWQ)) - 1, 0));
hotqlen = pageq_len(hotq);