Lines Matching refs:pVMCS
1947 * @param pVMCS Physical address of VM control structure
1950 DECLASM(int) VMXClearVmcs(RTHCPHYS pVMCS);
1952 DECLINLINE(int) VMXClearVmcs(RTHCPHYS pVMCS)
1966 "ir"((uint32_t)pVMCS), /* don't allow direct memory reference here, */
1967 "ir"((uint32_t)(pVMCS >> 32)) /* this would not work with -fomit-frame-pointer */
1973 unsigned char rcMsc = __vmx_vmclear(&pVMCS);
1982 push dword ptr [pVMCS+4]
1983 push dword ptr [pVMCS]
2004 * @param pVMCS Physical address of VMCS structure
2007 DECLASM(int) VMXActivateVmcs(RTHCPHYS pVMCS);
2009 DECLINLINE(int) VMXActivateVmcs(RTHCPHYS pVMCS)
2023 "ir"((uint32_t)pVMCS), /* don't allow direct memory reference here, */
2024 "ir"((uint32_t)(pVMCS >> 32)) /* this will not work with -fomit-frame-pointer */
2029 unsigned char rcMsc = __vmx_vmptrld(&pVMCS);
2038 push dword ptr [pVMCS+4]
2039 push dword ptr [pVMCS]
2059 * @param pVMCS Address that will receive the current pointer
2061 DECLASM(int) VMXGetActivatedVmcs(RTHCPHYS *pVMCS);