Searched refs:vmcs_set_bits (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.c232 static void vmcs_set_bits(unsigned long field, u32 mask) function
872 vmcs_set_bits(GUEST_CR0, CR0_TS_MASK);
873 vmcs_set_bits(EXCEPTION_BITMAP, 1 << NM_VECTOR);

Completed in 93 milliseconds