Searched defs:nds32_arch_name (Results 1 – 4 of 4) sorted by relevance
2350 static const char* nds32_arch_name = NDS32_DEFAULT_ARCH_NAME; variable2352 static const char* nds32_arch_name = "v3"; variable
2349 static const char* nds32_arch_name = NDS32_DEFAULT_ARCH_NAME; variable2351 static const char* nds32_arch_name = "v3"; variable