Searched refs:evmcs_write64 (Results 1 – 1 of 1) sorted by relevance
1388 static inline void evmcs_write64(unsigned long field, u64 value) in evmcs_write64() function1587 static inline void evmcs_write64(unsigned long field, u64 value) {} in evmcs_write64() function2406 return evmcs_write64(field, value); in vmcs_write64()2419 return evmcs_write64(field, value); in vmcs_writel()
