Searched refs:VmWriteMem32 (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/EbcDxe/ |
| H A D | EbcExecute.c | 264 VmWriteMem32 (
1766 VmWriteMem32 (VmPtr, Source, (UINT32) Data64);
2260 VmWriteMem32 (VmPtr, (UINTN) Op1, (UINT32) ImmData64);
2790 VmWriteMem32 (VmPtr, (UINTN) VmPtr->Gpr[0], Data32);
2925 VmWriteMem32 (VmPtr, (UINTN) (VmPtr->Gpr[OPERAND1_REGNUM (Operands)] + Index16), Data32);
4240 VmWriteMem32 (VmPtr, (UINTN) Op1, (UINT32) Op2);
4709 VmWriteMem32 ( function
4795 if ((Status = VmWriteMem32 (VmPtr, Addr, (UINT32) Data)) != EFI_SUCCESS) {
4800 if ((Status = VmWriteMem32 (VmPtr, Addr + sizeof (UINT32), (UINT32) RShiftU64(Data, 32))) != EFI_SUCCESS) {
4859 Status = VmWriteMem32 (VmPt
[all...] |
Completed in 127 milliseconds