Searched refs:evmcs_vmptrst (Results 1 – 2 of 2) sorted by relevance
347 return evmcs_vmptrst(value); in vmptrst()
271 static inline int evmcs_vmptrst(uint64_t *value) in evmcs_vmptrst() function