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()245 static void OS_FPutStringISD(int console, const char *str) in OS_FPutStringISD() function