Lines Matching refs:idxField
378 ; * @param idxField x86: [ebp + 08h] msc: rcx gcc: rdi VMCS index
394 mov ecx, [esp + 4] ; idxField
444 ; * @param idxField VMCS index
447 ;DECLASM(int) VMXReadVmcs64(uint32_t idxField, uint64_t *pData);
461 mov ecx, [esp + 4] ; idxField
511 ; * @param idxField VMCS index
514 ;DECLASM(int) VMXReadVmcs32(uint32_t idxField, uint32_t *pu32Data);
530 mov ecx, [esp + 4] ; idxField
576 ; * @param idxField VMCS index
579 ;DECLASM(int) VMXWriteVmcs32(uint32_t idxField, uint32_t u32Data);
595 mov ecx, [esp + 4] ; idxField