Searched refs:evmcs_vmread (Results 1 – 2 of 2) sorted by relevance
458 return evmcs_vmread(encoding, value); in vmread()
279 static inline int evmcs_vmread(uint64_t encoding, uint64_t *value) in evmcs_vmread() function