Lines Matching +full:tracking +full:- +full:index
4 * SPDX-License-Identifier: Apache-2.0
8 * This is meant to be used with MMUs that need manual tracking of their
13 * - Page frames made evictable are appended to the end of the LRU queue with
18 * - When accessed, an unaccessible page causes a fault. The architecture
23 * - On page reclammation, the page at the head of the queue is removed for
26 * - If the new head page is actively used, it will cause a fault and be moved
45 * doubly-linked list with actual pointers would be wasteful as all we need
46 * is a previous PF index and a next PF index for each page frame number
51 * Number of bits needed to store a page frame index. Rounded up to a byte
72 return (pf - k_mem_page_frames) + 1; in pf_to_idx()
77 return &k_mem_page_frames[idx - 1]; in idx_to_pf()