Searched refs:evmcs_read64 (Results 1 – 1 of 1) sorted by relevance
1425 static inline u64 evmcs_read64(unsigned long field) in evmcs_read64() function1590 static inline u64 evmcs_read64(unsigned long field) { return 0; } in evmcs_read64() function2351 return evmcs_read64(field); in vmcs_read64()2363 return evmcs_read64(field); in vmcs_readl()
