Lines Matching refs:flushpoint
607 static void print_pre_console_buffer(int flushpoint) in print_pre_console_buffer() argument
626 switch (flushpoint) { in print_pre_console_buffer()
638 static inline void print_pre_console_buffer(int flushpoint) {} in print_pre_console_buffer() argument
949 int flushpoint; in console_init_r() local
953 flushpoint = PRE_CONSOLE_FLUSHPOINT1_SERIAL; in console_init_r()
955 flushpoint = PRE_CONSOLE_FLUSHPOINT2_EVERYTHING_BUT_SERIAL; in console_init_r()
1026 print_pre_console_buffer(flushpoint); in console_init_r()
1040 int flushpoint; in console_init_r() local
1044 flushpoint = PRE_CONSOLE_FLUSHPOINT1_SERIAL; in console_init_r()
1046 flushpoint = PRE_CONSOLE_FLUSHPOINT2_EVERYTHING_BUT_SERIAL; in console_init_r()
1093 print_pre_console_buffer(flushpoint); in console_init_r()