Symbol: jump_kernel
sys/arch/amd64/stand/prekern/prekern.c
313
jump_kernel(ent);
sys/arch/amd64/stand/prekern/prekern.h
87
void jump_kernel(vaddr_t);