On 2/23/2016 4:30 PM, Tamas K Lengyel wrote:
>
>
>     2) For Tamas: would it be ok if I put p2m_get_vcpu_altp2m_idx in
>     asm/altp2m.h and rename it to altp2m_vcpu_idx(v) (to obey
>     function-naming pattern in that file)?
>
>
> Yes, that works.
>
> Tamas
>

Thanks. Any thoughts on 3)?

Corneliu.