Searched refs:OS_FPutStringISD (Results 1 – 1 of 1) sorted by relevance
109 static void OS_FPutStringISD(int console, const char *str);162 OS_FPutString = OS_FPutStringISD; in OS_FPutStringInit()248 static void OS_FPutStringISD(int console, const char *str) in OS_FPutStringISD() function