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 1075 milliseconds