Searched defs:read_dword (Results 1 - 3 of 3) sorted by relevance

/vbox/src/VBox/Devices/PC/BIOS/
H A Dbios.c71 uint32_t read_dword(uint16_t seg, uint16_t offset) function
/vbox/src/VBox/Devices/Graphics/BIOS/
H A Dvgabios.c380 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 Dop_helper.c5864 uint32_t read_dword(CPUX86State *env1, target_ulong addr) function

Completed in 66 milliseconds