Searched defs:nmi_name (Results 1 – 2 of 2) sorted by relevance
| /netbsd-src/external/gpl3/gcc.old/dist/gcc/config/nds32/ | ||
| H A D | nds32.h | 415 char nmi_name[100]; member |
| /netbsd-src/external/gpl3/gcc/dist/gcc/config/nds32/ | ||
| H A D | nds32.h | 415 char nmi_name[100]; member |