Searched refs:__vmcs_writel (Results 1 – 2 of 2) sorted by relevance
| /linux/arch/x86/kvm/vmx/ |
| A D | vmx_ops.h | 176 static __always_inline void __vmcs_writel(unsigned long field, unsigned long value) in __vmcs_writel() function
187 __vmcs_writel(field, value); in vmcs_write16()
196 __vmcs_writel(field, value); in vmcs_write32()
205 __vmcs_writel(field, value); in vmcs_write64()
207 __vmcs_writel(field+1, value >> 32); in vmcs_write64()
217 __vmcs_writel(field, value); in vmcs_writel()
227 __vmcs_writel(field, __vmcs_readl(field) & ~mask); in vmcs_clear_bits()
237 __vmcs_writel(field, __vmcs_readl(field) | mask); in vmcs_set_bits()
|
| A D | nested.c | 1558 __vmcs_writel(field.encoding, val); in copy_vmcs12_to_shadow()
5239 __vmcs_writel(field, value); in handle_vmwrite()
|
Completed in 13 milliseconds