Symbol: KLOADER_HPCSH_BOOT
sys/arch/hpcsh/hpcsh/kloader_machdep.c
137
KLOADER_HPCSH_BOOT(3, 7709A)
sys/arch/hpcsh/hpcsh/kloader_machdep.c
141
KLOADER_HPCSH_BOOT(4, 7750)