27  *   to the end of the queue, preventing it from being the next page
46  * is a previous PF index and a next PF index for each page frame number
57 /* For each page frame, track the previous and next page frame in the queue. */
59 	uint32_t next : PF_IDX_BITS;  member
67 #define LRU_PF_HEAD lru_pf_queue[0].next
82 	lru_pf_queue[pf_idx].next = 0;  in lru_pf_append()
84 	lru_pf_queue[LRU_PF_TAIL].next = pf_idx;  in lru_pf_append()
90 	uint32_t next = lru_pf_queue[pf_idx].next;  in lru_pf_unlink()  local
93 	lru_pf_queue[prev].next = next;  in lru_pf_unlink()
94 	lru_pf_queue[next].prev = prev;  in lru_pf_unlink()
96 	lru_pf_queue[pf_idx].next = 0;  in lru_pf_unlink()
102 	bool unqueued = (lru_pf_queue[pf_idx].next == 0) &&  in lru_pf_in_queue()
118 	    (lru_pf_queue[LRU_PF_HEAD].next != 0)) {  in lru_pf_remove()