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

/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/EbcDxe/
H A DEbcExecute.c100 VmReadIndex64 (
1627 Index64Op1 = VmReadIndex64 (VmPtr, 2);
1632 Index64Op2 = VmReadIndex64 (VmPtr, Size);
2329 ImmedIndex64 = VmReadIndex64 (VmPtr, Size);
4532 VmReadIndex64 ( function

Completed in 39 milliseconds