Searched refs:evmcs_read64 (Results 1 – 2 of 2) sorted by relevance
137 static inline u64 evmcs_read64(unsigned long field) in evmcs_read64() function193 static inline u64 evmcs_read64(unsigned long field) { return 0; } in evmcs_read64() function
124 return evmcs_read64(field); in vmcs_read64()136 return evmcs_read64(field); in vmcs_readl()
