Searched refs:evmcs_read64 (Results 1 – 2 of 2) sorted by relevance
133 static inline u64 evmcs_read64(unsigned long field) in evmcs_read64() function189 static inline u64 evmcs_read64(unsigned long field) { return 0; } in evmcs_read64() function
126 return evmcs_read64(field); in vmcs_read64()138 return evmcs_read64(field); in vmcs_readl()
