bios32_entry
struct bios32_entry bios32_entry;
bios32_entry.segment = GSEL(GCODE_SEL, SEL_KPL);
bios32_entry.offset = (uint32_t)ISA_HOLE_VADDR(h->entry);
if (bios32_entry.offset == 0)
: "D" (&bios32_entry)
struct bios32_entry pcibios_entry;