>
> 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