Searched refs:pte_leftover (Results 1 – 1 of 1) sorted by relevance
232 static void *pte_leftover; in boot_pte_alloc() local239 if (!pte_leftover) { in boot_pte_alloc()240 pte_leftover = (void *)physmem_alloc_top_down(RR_VMEM, PAGE_SIZE, PAGE_SIZE); in boot_pte_alloc()241 pte = pte_leftover + _PAGE_TABLE_SIZE; in boot_pte_alloc()243 pte = pte_leftover; in boot_pte_alloc()244 pte_leftover = NULL; in boot_pte_alloc()