BIOS_EBDA_PTR 45 kernel/arch/amd64/src/bios/bios.c ebda = *((uint16_t *) BIOS_EBDA_PTR) * 0x10U; BIOS_EBDA_PTR 45 kernel/arch/ia32/src/bios/bios.c ebda = *((uint16_t *) BIOS_EBDA_PTR) * 0x10U;