Home
last modified time | relevance | path

Searched refs:idle_pml4t_vaddr (Results 1 – 1 of 1) sorted by relevance

/DragonOS-0.1.7/kernel/src/mm/
Dmm.c501 uint64_t *idle_pml4t_vaddr = (uint64_t *)phys_2_virt((uint64_t)get_CR3() & (~0xfffUL)); in page_table_init() local
505 uint64_t *tmp = idle_pml4t_vaddr + i; in page_table_init()