sys/arch/i386/pci/pcibios.c

104

struct bios32_entry pcibios_entry;

sys/arch/i386/pci/pcibios.c

561

static struct bios32_entry pcibios_entry_shadow;

sys/arch/x86/include/bios32.h

71

typedef struct bios32_entry *bios32_entry_t;

sys/arch/x86/x86/bios32.c

113

struct bios32_entry bios32_entry;

sys/arch/x86/x86/bios32.c

160

bios32_entry.offset = (void *)ISA_HOLE_VADDR(entry);

sys/arch/x86/x86/bios32.c

161

bios32_entry.segment = GSEL(GCODE_SEL, SEL_KPL);

sys/arch/x86/x86/bios32.c

204

if (bios32_entry.offset == 0)

sys/arch/x86/x86/bios32.c

209

: "0" (service), "1" (0), "D" (&bios32_entry));