BIOS_EBDA_PTR 38 kernel/arch/amd64/src/bios/bios.c #define BIOS_EBDA_PTR 0x40eU BIOS_EBDA_PTR 38 kernel/arch/ia32/src/bios/bios.c #define BIOS_EBDA_PTR 0x40eU