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