- util_snprintf(buffer, sizeof(buffer), "__builtin_%s", name);
- util_snprintf(stype, sizeof(stype), "<%s>", type_name[vtype]);
+ platform_snprintf(buffer, sizeof(buffer), "__builtin_%s", name);
+ platform_snprintf(stype, sizeof(stype), "<%s>", type_name[vtype]);