Searched refs:vmcs_writel (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.c196 static void vmcs_writel(unsigned long field, unsigned long value) function
208 vmcs_writel(field, value);
213 vmcs_writel(field, value);
219 vmcs_writel(field, value);
221 vmcs_writel(field, value);
223 vmcs_writel(field+1, value >> 32);
229 vmcs_writel(field, vmcs_readl(field) & ~mask);
234 vmcs_writel(field, vmcs_readl(field) | mask);
272 vmcs_writel(HOST_TR_BASE, read_tr_base()); /* 22.2.4 */
274 vmcs_writel(HOST_GDTR_BAS
[all...]

Completed in 16 milliseconds