clock_int5(0,(struct trap_frame *)NULL);
clockattach(struct device *parent, struct device *self, void *aux){	struct clock_softc *sc;	md_clk_attach(parent, self, aux);	sc = (struct clock_softc *)self;	switch (sys_config.system_type) {	case ALGOR_P4032:	case ALGOR_P5064:	case MOMENTUM_CP7000:	case MOMENTUM_CP7000G:	case MOMENTUM_JAGUAR:	case GALILEO_EV64240:	case SGI_INDY:	case SGI_O2:		printf(" ticker on int5 using count register.");		set_intr(INTPRI_CLOCK, CR_INT_5, clock_int5);		ticktime = sys_config.cpu[0].clock / 2000;		break;	default:		panic("clockattach: it didn't get here.  really.");		clock_int5(0,(struct trap_frame *)NULL);	}	printf("\n");}