Searched refs:VMCS_ENTRY_MSR_LOAD_COUNT (Results 1 – 3 of 3) sorted by relevance
189 #define VMCS_ENTRY_MSR_LOAD_COUNT 0x00004014 macro
331 if ((error = vmwrite(VMCS_ENTRY_MSR_LOAD_COUNT, g_count)) != 0) in vmcs_set_msr_save()
1186 vmcs_write(VMCS_ENTRY_MSR_LOAD_COUNT, in vmx_vcpu_init()