5)               | SyS_write() {
 5)   0.041 us    |  fget_light();
 5)               |   vfs_write() {
 5)   0.046 us    |    __sb_start_write();
                  |     /* At this point, the write is deferred and
                         * and rescheduled. (eventually on another CPU)
                         * The execution picks as the proper code page
                         * is faulted in. The actual call chain isn't
                         * obvious from the kernel trace. However, I've 
                         * unwound it below. printf->write takes
                         * around 7ms to complete. */
 0)               |             cpuidle_enter_state() {
 *                |             /* Many context switches */
 7) ! 6791.564 us |             } /* fbcon_redraw.isra.24 */
 7)               |              fbcon_clear() {
 7)               |               bit_clear() {
 7)               |               /* Redrawing console */
 7) + 19.102 us   |              } /* bit_clear */
 7) + 19.447 us   |             } /* fbcon_clear */
 7) ! 6815.841 us |            } /* fbcon_scroll */
 7) ! 6816.112 us |           } /* scrup */
 7) ! 6816.839 us |          } /* lf */
 7) ! 6817.594 us |         } /* do_con_trol */
 7) ! 6846.937 us |        } /* do_con_write.part.20 */
 7)   14.342 us   |        con_flush_chars() 
 7) ! 6861.642 us |       } /* con_write */
 7) ! 6861.902 us |      } /* do_output_char */
 7) ! 6876.209 us |     } /* process_output */
 7)   26.819 us   |     con_flush_chars();
 7) ! 6977.652 us |    } /* n_tty_write */
 7) ! 6981.503 us |   } /* tty_write */
 7) ! 6984.581 us |  } /* vfs_write */
 7) ! 6985.082 us | } /* SyS_write */