1.1 --- a/lib/vga_display.c Sat Nov 03 14:05:05 2018 +0100
1.2 +++ b/lib/vga_display.c Sun Nov 04 00:43:20 2018 +0100
1.3 @@ -243,6 +243,16 @@
1.4
1.5
1.6
1.7 +/* Wait for the visible region to be completed. */
1.8 +
1.9 +void vga_wait_visible(void)
1.10 +{
1.11 + while (((volatile void (*)()) vga_display.state_handler) == visible_active)
1.12 + __asm__ __volatile__("wait");
1.13 +}
1.14 +
1.15 +
1.16 +
1.17 /* Display state machine interrupt handler. */
1.18
1.19 void vga_interrupt_handler(void)