23 {0xfe, &ReleaseAlarm},
24 {0xff, &ReleaseAlarm},
25 {0x12c, &Intc12Handler},
26 {0x08, &ResumeIntrDispatch}};
30 void *_start(
int syscall)
34 for (i = 0; i < NUM_ENTRIES; i++) {
35 if (syscall == entries[i].syscall)
36 return entries[i].function;