Searched refs:vmcs_write32 (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.c211 static void vmcs_write32(unsigned long field, u32 value) function
317 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO,
326 vmcs_write32(VM_ENTRY_EXCEPTION_ERROR_CODE, error_code);
327 vmcs_write32(VM_ENTRY_INTR_INFO_FIELD,
367 vmcs_write32(VM_EXIT_MSR_STORE_COUNT, nr_good_msrs); /* 22.2.2 */
368 vmcs_write32(VM_EXIT_MSR_LOAD_COUNT, nr_good_msrs); /* 22.2.2 */
369 vmcs_write32(VM_ENTRY_MSR_LOAD_COUNT, nr_good_msrs); /* 22.2.2 */
485 vmcs_write32(GUEST_SYSENTER_CS, data);
568 vmcs_write32(EXCEPTION_BITMAP, exception_bitmap);
685 vmcs_write32(EXCEPTION_BITMA
[all...]

Completed in 29 milliseconds