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

Reply via email to