Searched refs:vmcs_write32_fixedbits (Results 1 - 1 of 1) sorted by relevance

/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/drivers/kvm/
H A Dvmx.c1037 static void vmcs_write32_fixedbits(u32 msr, u32 vmcs_field, u32 val) function
1143 vmcs_write32_fixedbits(MSR_IA32_VMX_PINBASED_CTLS,
1148 vmcs_write32_fixedbits(MSR_IA32_VMX_PROCBASED_CTLS,
1222 vmcs_write32_fixedbits(MSR_IA32_VMX_EXIT_CTLS, VM_EXIT_CONTROLS,
1226 vmcs_write32_fixedbits(MSR_IA32_VMX_ENTRY_CTLS,

Completed in 49 milliseconds