Searched refs:page_table_memory_end (Results 1 – 1 of 1) sorted by relevance
62 static page_table_t* page_table_memory_end; variable65 if (unlikely(page_table_memory_start >= page_table_memory_end)) { in get_page_table()113 page_table_memory_end = (void*)(end & -4096u); in enable_64bit_paging()
Completed in 7 milliseconds