Searched refs:VmWriteMem64 (Results 1 - 5 of 5) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/EbcDxe/ |
| H A D | EbcExecute.h | 311 VmWriteMem64 (
|
| H A D | EbcExecute.c | 1770 VmWriteMem64 (VmPtr, Source, Data64);
1894 VmWriteMem64 (VmPtr, (UINTN) VmPtr->Gpr[7], (UINT64) (UINTN) Thunk);
2262 VmWriteMem64 (VmPtr, (UINTN) Op1, (UINT64) ImmData64);
2776 VmWriteMem64 (VmPtr, (UINTN) VmPtr->Gpr[0], Data64);
2911 VmWriteMem64 (VmPtr, (UINTN) (VmPtr->Gpr[OPERAND1_REGNUM (Operands)] + Index16), Data64);
3006 VmWriteMem64 (VmPtr, (UINTN) VmPtr->Gpr[0], (UINT64) (UINTN) (VmPtr->Ip + Size));
4238 VmWriteMem64 (VmPtr, (UINTN) Op1, Op2);
4772 VmWriteMem64 ( function
|
| /vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/EbcDxe/Ia32/ |
| H A D | EbcSupport.c | 160 VmWriteMem64 (VmPtr, (UINTN) VmPtr->Gpr[0], (UINT64) (UINTN) (VmPtr->Ip + Size));
|
| /vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/EbcDxe/X64/ |
| H A D | EbcSupport.c | 556 VmWriteMem64 (VmPtr, (UINTN) VmPtr->Gpr[0], (UINT64) (UINTN) (VmPtr->Ip + Size));
|
| /vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/EbcDxe/Ipf/ |
| H A D | EbcSupport.c | 864 VmWriteMem64 (VmPtr, (UINTN) VmPtr->Gpr[0], (UINT64) (VmPtr->Ip + Size));
|
Completed in 905 milliseconds