Symbol: enter_kernel
sys/arch/ia64/stand/efi/libefi/exec.c
207
enter_kernel(fp->marks[MARK_ENTRY], bi);
sys/arch/ia64/stand/ia64/ski/exec.c
193
enter_kernel(fp->f_name, fp->marks[MARK_ENTRY], bi);