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;
}

-Kevin
_______________________________________________
SeaBIOS mailing list -- seabios@seabios.org
To unsubscribe send an email to seabios-le...@seabios.org

Reply via email to