src/system/boot/platform/atari_m68k/devices.cpp

300

if (parameters.device_table.segment == 0xffff

src/system/boot/platform/atari_m68k/devices.cpp

301

&& parameters.device_table.offset == 0xffff)

src/system/boot/platform/atari_m68k/devices.cpp

304

device_table *table = (device_table *)LINEAR_ADDRESS(parameters.device_table.segment,

src/system/boot/platform/atari_m68k/devices.cpp

305

parameters.device_table.offset);

src/system/boot/platform/bios_ia32/devices.cpp

350

if (parameters.device_table.segment == 0xffff

src/system/boot/platform/bios_ia32/devices.cpp

351

&& parameters.device_table.offset == 0xffff)

src/system/boot/platform/bios_ia32/devices.cpp

354

device_table *table = (device_table *)LINEAR_ADDRESS(parameters.device_table.segment,

src/system/boot/platform/bios_ia32/devices.cpp

355

parameters.device_table.offset);

src/system/boot/platform/bios_ia32/devices.cpp

68

real_addr device_table;