Searched refs:__kernel_stdout_write_buffered (Results 1 – 1 of 1) sorted by relevance
65 static void __kernel_stdout_write_buffered(const char* str, size_t len) { in __kernel_stdout_write_buffered() function116 __kernel_stdout_write_buffered(s, len); in __printf_output_func()
Completed in 6 milliseconds