Searched refs:pte_leftover (Results 1 – 1 of 1) sorted by relevance
219 static void *pte_leftover; in boot_pte_alloc() local226 if (!pte_leftover) { in boot_pte_alloc()227 pte_leftover = (void *)physmem_alloc_top_down(RR_VMEM, PAGE_SIZE, PAGE_SIZE); in boot_pte_alloc()228 pte = pte_leftover + _PAGE_TABLE_SIZE; in boot_pte_alloc()231 pte = pte_leftover; in boot_pte_alloc()232 pte_leftover = NULL; in boot_pte_alloc()