Symbol: dbg_banner_line
sys/arch/hpc/include/debug.h
156
void dbg_banner_line(void);
sys/arch/hpcsh/dev/hd64461/hd64461.c
247
dbg_banner_line();
sys/arch/hpcsh/dev/hd64461/hd64461pcmcia.c
1248
dbg_banner_line();
sys/arch/hpcsh/dev/hd64461/hd64461video.c
1440
dbg_banner_line();