Searched refs:vmcs_write16 (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.c206 static void vmcs_write16(unsigned long field, u16 value) function
695 vmcs_write16(sf->selector, save->selector);
731 vmcs_write16(GUEST_SS_SELECTOR, 0);
734 vmcs_write16(GUEST_CS_SELECTOR,
753 vmcs_write16(sf->selector, vmcs_readl(sf->base) >> 4);
782 vmcs_write16(GUEST_SS_SELECTOR, vmcs_readl(GUEST_SS_BASE) >> 4);
790 vmcs_write16(GUEST_CS_SELECTOR, vmcs_readl(GUEST_CS_BASE) >> 4);
948 vmcs_write16(sf->selector, var->selector);
1052 vmcs_write16(sf->selector, 0);
1089 vmcs_write16(GUEST_CS_SELECTO
[all...]

Completed in 85 milliseconds