Symbol: make_kernel_page_tables
sys/arch/amd64/stand/libsa/exec_i386.c
183
pml4 = make_kernel_page_tables(entry);
sys/arch/amd64/stand/libsa/exec_i386.c
67
caddr_t make_kernel_page_tables(uint64_t);