On 24/06/19 16:16, Vitaly Kuznetsov wrote: >>> gpa_t vmptr; >>> + u64 evmptr; >> I prefer to rename evmptr to evmcs_ptr. I think it’s more readable and sufficiently short. >> > Sure. > Let's make it evmcs_gpa instead. "*_ptr" or "p_*" should be for host pointers. Paolo
