Searched defs:evmcs_write64 (Results 1 – 2 of 2) sorted by relevance
100 static inline void evmcs_write64(unsigned long field, u64 value) in evmcs_write64() function190 static inline void evmcs_write64(unsigned long field, u64 value) {} in evmcs_write64() function
1390 static inline void evmcs_write64(unsigned long field, u64 value) in evmcs_write64() function1589 static inline void evmcs_write64(unsigned long field, u64 value) {} in evmcs_write64() function