Symbol: BIOS32_SIZE
sys/arch/i386/pci/pcibios.c
560
static char pcibios_shadow[BIOS32_SIZE];
sys/arch/i386/pci/pcibios.c
577
memcpy(pcibios_shadow, ISA_HOLE_VADDR(BIOS32_START), BIOS32_SIZE);
sys/arch/x86/x86/bios32.c
111
#define BIOS32_END (BIOS32_START + BIOS32_SIZE - 0x10)