[SeaBIOS] Re: [PATCH v2] optionrom: disallow int19 redirect for pnp roms.

[Kevin O'Connor]

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