ebda              115 arch/i386/i386/acpi_machdep.c 	paddr_t ebda;
ebda              143 arch/i386/i386/acpi_machdep.c 		ebda = *(const u_int16_t *)(&handle.va[0x40e]);
ebda              144 arch/i386/i386/acpi_machdep.c 		ebda <<= 4;
ebda              147 arch/i386/i386/acpi_machdep.c 		if (ebda && ebda < IOM_BEGIN) {
ebda              148 arch/i386/i386/acpi_machdep.c 			if ((ptr = acpi_scan(&handle, ebda, 1024)))
ebda              271 arch/i386/i386/mpbios.c 	paddr_t  	ebda, memtop;
ebda              292 arch/i386/i386/mpbios.c 	ebda = *(const u_int16_t *)(&mpbios_page[0x40e]);
ebda              293 arch/i386/i386/mpbios.c 	ebda <<= 4;
ebda              303 arch/i386/i386/mpbios.c 	if (ebda && ebda < IOM_BEGIN ) {
ebda              304 arch/i386/i386/mpbios.c 		mp_fps = mpbios_search(self, ebda, 1024, &mp_fp_map);