Searched refs:page_table_memory_start (Results 1 – 1 of 1) sorted by relevance
61 static page_table_t* page_table_memory_start; variable65 if (unlikely(page_table_memory_start >= page_table_memory_end)) { in get_page_table()68 return page_table_memory_start++; in get_page_table()112 page_table_memory_start = (void*)((start + 4096 - 1) & -4096u); in enable_64bit_paging()
Completed in 6 milliseconds