Searched defs:evmcs_write64 (Results 1 – 1 of 1) sorted by relevance
86 static __always_inline void evmcs_write64(unsigned long field, u64 value) in evmcs_write64() function167 static __always_inline void evmcs_write64(unsigned long field, u64 value) {} in evmcs_write64() function
