How does call16 work from protected mode

[Himanshu Chauhan]

Hi,

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?

Regards

Himanshu