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

/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.cpp5482 VMMR0DECL(int) VMXWriteVmcs64Ex(PVMCPU pVCpu, uint32_t idxField, uint64_t u64Val) function
5561 AssertMsgFailed(("VMXWriteVmcs64Ex: Invalid field %#RX32 (pVCpu=%p u64Val=%#RX64)\n", idxField, pVCpu, u64Val));

Completed in 65 milliseconds