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