Symbol: __dbg_heart_beat
sys/arch/hpcsh/hpcsh/machdep.c
616
__dbg_heart_beat(HEART_BEAT_RED);
sys/arch/hpcsh/hpcsh/machdep.c
634
__dbg_heart_beat(HEART_BEAT_GREEN);
sys/arch/hpcsh/hpcsh/machdep.c
637
__dbg_heart_beat(HEART_BEAT_BLUE);
sys/arch/hpcsh/include/debug.h
52
void __dbg_heart_beat(enum heart_beat);