Home
last modified time | relevance | path

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

/kernel/target/pc/multiboot/
A Dtrampoline.h59 void enable_64bit_paging(uintptr_t start, uintptr_t end);
A Dpaging.c110 void enable_64bit_paging(uintptr_t start, uintptr_t end) { in enable_64bit_paging() function
A Dmultiboot-main.c263 enable_64bit_paging(free_memory, upper_memory_limit); in multiboot_main()

Completed in 19 milliseconds