Searched refs:__vmcs_writel (Results 1 - 4 of 4) sorted by relevance
| /kernel/linux/linux-5.10/arch/x86/kvm/vmx/ |
| H A D | vmx_ops.h | 174 static __always_inline void __vmcs_writel(unsigned long field, unsigned long value) in __vmcs_writel() function
185 __vmcs_writel(field, value); in vmcs_write16()
194 __vmcs_writel(field, value); in vmcs_write32()
203 __vmcs_writel(field, value); in vmcs_write64()
205 __vmcs_writel(field+1, value >> 32); in vmcs_write64()
215 __vmcs_writel(field, value); in vmcs_writel()
225 __vmcs_writel(field, __vmcs_readl(field) & ~mask); in vmcs_clear_bits()
235 __vmcs_writel(field, __vmcs_readl(field) | mask); in vmcs_set_bits()
|
| H A D | nested.c | 1608 __vmcs_writel(field.encoding, val); in copy_vmcs12_to_shadow()
5280 __vmcs_writel(field, value); in handle_vmwrite()
|
| /kernel/linux/linux-6.6/arch/x86/kvm/vmx/ |
| H A D | vmx_ops.h | 223 static __always_inline void __vmcs_writel(unsigned long field, unsigned long value) in __vmcs_writel() function
234 __vmcs_writel(field, value); in vmcs_write16()
243 __vmcs_writel(field, value); in vmcs_write32()
252 __vmcs_writel(field, value); in vmcs_write64()
254 __vmcs_writel(field+1, value >> 32); in vmcs_write64()
264 __vmcs_writel(field, value); in vmcs_writel()
274 __vmcs_writel(field, __vmcs_readl(field) & ~mask); in vmcs_clear_bits()
284 __vmcs_writel(field, __vmcs_readl(field) | mask); in vmcs_set_bits()
|
| H A D | nested.c | 1571 __vmcs_writel(field.encoding, val); in copy_vmcs12_to_shadow()
5544 __vmcs_writel(field, value); in handle_vmwrite()
|
Completed in 16 milliseconds