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

/kernel/target/pc/multiboot/
A D	paging.c	90 static uint64_t get_pml4e(void) { in get_pml4e() function 104 pml4->pml4e[0] = get_pml4e(); in get_pml4()

Completed in 20 milliseconds

Last Index update Fri Aug 22 02:51:41 CST 2025