pub fn vgabuf_flush_to_framebuffer()Expand description
Read buffered lines and render them onto the framebuffer via
crate::arch::x86_64::vga::VGA_WRITER.
Call this periodically (e.g. from the status-line task or after a batch of
log::info! calls). It consumes at most FLUSH_BATCH lines per call to
keep individual frame times predictable.
This function locks VGA_WRITER and is not safe to call from
interrupt handlers.