Searched refs:interruption_type (Results 1 – 1 of 1) sorted by relevance
103 const char *interruption_type[] = { in do_interruption() local115 printf("%s\n", interruption_type[EVIC_num]); in do_interruption()
Completed in 3 milliseconds