Searched refs:flushpoint (Results 1 – 1 of 1) sorted by relevance
607 static void print_pre_console_buffer(int flushpoint) in print_pre_console_buffer() argument626 switch (flushpoint) { in print_pre_console_buffer()638 static inline void print_pre_console_buffer(int flushpoint) {} in print_pre_console_buffer() argument949 int flushpoint; in console_init_r() local953 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() local1044 flushpoint = PRE_CONSOLE_FLUSHPOINT1_SERIAL; in console_init_r()1046 flushpoint = PRE_CONSOLE_FLUSHPOINT2_EVERYTHING_BUT_SERIAL; in console_init_r()[all …]
Completed in 3 milliseconds