Searched refs:evmcs_read64 (Results 1 – 2 of 2) sorted by relevance
71 static __always_inline u64 evmcs_read64(unsigned long field) in evmcs_read64() function118 static __always_inline u64 evmcs_read64(unsigned long field) { return 0; } in evmcs_read64() function
173 return evmcs_read64(field); in vmcs_read64()185 return evmcs_read64(field); in vmcs_readl()