Searched defs:VmWriteMem64 (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/EbcDxe/ |
| 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
|
Completed in 47 milliseconds