Symbol: enter_kernel
sys/arch/ia64/stand/efi/libefi/exec.c
115
enter_kernel(u_int64_t start, struct bootinfo *bi)
sys/arch/ia64/stand/ia64/ski/exec.c
128
enter_kernel(const char* filename, u_int64_t start, struct bootinfo *bi)