Searched refs:__vmcs_writel (Results 1 – 1 of 1) sorted by relevance
2374 static __always_inline void __vmcs_writel(unsigned long field, unsigned long value) in __vmcs_writel() function2390 __vmcs_writel(field, value); in vmcs_write16()2399 __vmcs_writel(field, value); in vmcs_write32()2408 __vmcs_writel(field, value); in vmcs_write64()2411 __vmcs_writel(field+1, value >> 32); in vmcs_write64()2421 __vmcs_writel(field, value); in vmcs_writel()2431 __vmcs_writel(field, __vmcs_readl(field) & ~mask); in vmcs_clear_bits()2441 __vmcs_writel(field, __vmcs_readl(field) | mask); in vmcs_set_bits()8678 __vmcs_writel(field, field_value); in copy_vmcs12_to_shadow()
