decr_intr
void decr_intr(struct clockframe *frame);
unsigned int *decr_intr = (unsigned int *)0x900;
*decr_intr = br_instr;
void decr_intr(struct trapframe *); /* clock.c */
decr_intr(frame);