Symbol: BTX_PATH
stand/boot/pc32/btxld/btxld.c
84
BTX_PATH "/btxldr/btxldr"; /* BTX loader */
stand/boot/pc32/btxld/btxld.c
86
BTX_PATH "/btx/btx"; /* BTX kernel */