Searched refs:flushpoint (Results 1 – 1 of 1) sorted by relevance
652 static void print_pre_console_buffer(int flushpoint) in print_pre_console_buffer() argument672 switch (flushpoint) { in print_pre_console_buffer()685 static inline void print_pre_console_buffer(int flushpoint) {} in print_pre_console_buffer() argument1046 int flushpoint; in console_init_r() local1050 flushpoint = PRE_CONSOLE_FLUSHPOINT1_SERIAL; in console_init_r()1052 flushpoint = PRE_CONSOLE_FLUSHPOINT2_EVERYTHING_BUT_SERIAL; in console_init_r()1123 print_pre_console_buffer(flushpoint); in console_init_r()1137 int flushpoint; in console_init_r() local1141 flushpoint = PRE_CONSOLE_FLUSHPOINT1_SERIAL; in console_init_r()1143 flushpoint = PRE_CONSOLE_FLUSHPOINT2_EVERYTHING_BUT_SERIAL; in console_init_r()[all …]
Completed in 6 milliseconds