SET_LED          1549 dev/pci/hifn7751.c 		SET_LED(sc, HIFN_MIPSRST_LED0);
SET_LED          1568 dev/pci/hifn7751.c 		SET_LED(sc, HIFN_MIPSRST_LED1);
SET_LED          1596 dev/pci/hifn7751.c 		SET_LED(sc, HIFN_MIPSRST_LED2);
SET_LED          2551 dev/pci/hifn7751.c 		SET_LED(sc, HIFN_MIPSRST_LED0);
SET_LED          2570 dev/pci/hifn7751.c 		SET_LED(sc, HIFN_MIPSRST_LED1);
SET_LED          2595 dev/pci/hifn7751.c 		SET_LED(sc, HIFN_MIPSRST_LED2);