Searched refs:idle_pml4t_vaddr (Results 1 – 1 of 1) sorted by relevance
501 uint64_t *idle_pml4t_vaddr = (uint64_t *)phys_2_virt((uint64_t)get_CR3() & (~0xfffUL)); in page_table_init() local505 uint64_t *tmp = idle_pml4t_vaddr + i; in page_table_init()