On Mon, May 20, 2019 at 4:49 PM Kevin O'Connor <kevin@koconnor.net> wrote:

On Mon, May 20, 2019 at 04:43:08PM -0500, Matt DeVillier wrote:
> v2 of the patch works as intended, once 'current.offset != current.offset'
> is corrected to 'current.offset != seabios.offset'

FWIW, that code could simply be:

static int boot_irq_captured(void)
{
return GET_IVT(0x19).segoff != FUNC16(entry_19_official).segoff;
}

yes, that seems to work as well :)

-Kevin