Symbol: hatClkOff
sys/arch/shark/isa/clock.c
364
hatClkOff();
sys/arch/shark/shark/hat.h
53
int hatClkOff(void);
sys/arch/shark/shark/profile.c
387
hatClkOff();
sys/arch/shark/shark/scr.c
3547
hatClkOff();