Searched defs:nds32_arch_name (Results 1 – 1 of 1) sorted by relevance
1922 static char* nds32_arch_name = NDS32_DEFAULT_ARCH_NAME; variable1924 static char* nds32_arch_name = "v3"; variable