Searched refs:OS_FPutStringISTD (Results 1 – 1 of 1) sorted by relevance
110 static void OS_FPutStringISTD(int console, const char *str);157 OS_FPutString = OS_FPutStringISTD; in OS_FPutStringInit()169 OS_FPutString = OS_FPutStringISTD; in OS_FPutStringInit()275 static void OS_FPutStringISTD(int console, const char *str) in OS_FPutStringISTD() function