I am trying to understand the call of 16-bit code from protected mode. I am tracing the code from "enable_vga_console" function. I see that it further calls "call16_int10". Further down somewhere (probably check_irqs), pause instruction is executed.
I am trying to understand what is expected here. I assume pause is executed and SeaBIOS waits for an interrupt to arrive to finish the call16 processing. But I don't see RTC being programmed for interrupt. For which interrupt is SeaBIOS waiting? NMI?