Symbol: init_x86_64
sys/arch/amd64/amd64/machdep.c
330
void init_x86_64(paddr_t);
sys/arch/amd64/amd64/prekern.c
152
init_x86_64(first_avail);
sys/arch/amd64/amd64/prekern.c
72
void init_x86_64(paddr_t);