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

/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/EbcDxe/
H A DEbcExecute.c160 VmReadMem64 (
1699 Data64 = (UINT64) VmReadMem64 (VmPtr, Source);
2768 Data64 = VmReadMem64 (VmPtr, (UINTN) (VmPtr->Gpr[OPERAND1_REGNUM (Operands)] + Index16));
2905 Data64 = VmReadMem64 (VmPtr, (UINTN) VmPtr->Gpr[0]);
3110 VmPtr->Ip = (VMIP) (UINTN) VmReadMem64 (VmPtr, (UINTN) VmPtr->Gpr[0]);
3174 Op2 = (INT64) VmReadMem64 (VmPtr, (UINTN) (VmPtr->Gpr[OPERAND2_REGNUM (Operands)] + Index16));
3331 Op1 = (INT64) VmReadMem64 (VmPtr, (UINTN) Op1 + Index16);
4169 Op2 = VmReadMem64 (VmPtr, (UINTN) Op2);
4196 Op1 = VmReadMem64 (VmPtr, (UINTN) Op1);
5233 VmReadMem64 ( function
[all...]

Completed in 39 milliseconds