Home
last modified time | relevance | path

Searched refs:evmcs_write64 (Results 1 – 2 of 2) sorted by relevance

/openbmc/linux/arch/x86/kvm/vmx/
H A Dvmx_onhyperv.h34 static __always_inline void evmcs_write64(unsigned long field, u64 value) in evmcs_write64() function
115 static __always_inline void evmcs_write64(unsigned long field, u64 value) {} in evmcs_write64() function
H A Dvmx_ops.h250 return evmcs_write64(field, value); in vmcs_write64()
262 return evmcs_write64(field, value); in vmcs_writel()