Searched refs:read_dword (Results 1 - 8 of 8) sorted by relevance
| /vbox/src/VBox/Devices/PC/BIOS/ |
| H A D | bios.c | 71 uint32_t read_dword(uint16_t seg, uint16_t offset) function
|
| H A D | logo.c | 161 prev_ticks = read_dword(0x0, 0x46c);
165 t = read_dword(0x0, 0x46c);
|
| H A D | inlines.h | 30 extern uint32_t read_dword(uint16_t seg, uint16_t offset);
|
| H A D | timepci.c | 124 time = read_dword( 0x40, 0x9C ); // Time left in microseconds.
|
| /vbox/src/VBox/Devices/Graphics/BIOS/ |
| H A D | inlines.h | 30 extern uint32_t read_dword(uint16_t seg, uint16_t offset);
|
| H A D | vgabios.c | 380 ptr = (void __far *)read_dword(0x00, 0x1f * 4);
383 ptr = (void __far *)read_dword(0x00, 0x43 * 4);
2024 uint32_t read_dword(uint16_t seg, uint16_t offset) function
|
| /vbox/src/recompiler/target-i386/ |
| H A D | cpu.h | 1122 uint32_t read_dword(CPUX86State *env1, target_ulong addr);
|
| H A D | op_helper.c | 5864 uint32_t read_dword(CPUX86State *env1, target_ulong addr) function
|
Completed in 2403 milliseconds