Symbol: hatClkIrq
sys/arch/shark/shark/scr.c
3455
hatClkIrq,
sys/arch/shark/shark/scr.c
618
static void hatClkIrq(int count);