Symbol: SK_TIMERCTL
sys/dev/pci/if_msk.c
834
CSR_WRITE_1(sc, SK_TIMERCTL, SK_IMCTL_STOP);
sys/dev/pci/if_msk.c
835
CSR_WRITE_1(sc, SK_TIMERCTL, SK_IMCTL_IRQ_CLEAR);