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