> > > + val = 0ULL;
> > > + if (user_win) {
> > > + val = SET_FIELD(VAS_XLATE_MSR_DR, val, true);
> > > + val = SET_FIELD(VAS_XLATE_MSR_TA, val, false);
> > > + val = SET_FIELD(VAS_XLATE_MSR_PR, val, true);
> > > + val = SET_FIELD(VAS_XLATE_MSR_US, val, false);
> > > + val = SET_FIELD(VAS_XLATE_MSR_HV, val, true);
> > > + val = SET_FIELD(VAS_XLATE_MSR_SF, val, true);
> > > + val = SET_FIELD(VAS_XLATE_MSR_UV, val, false);
> > > + } else {
> > > + val = SET_FIELD(VAS_XLATE_MSR_DR, val, false);
> >
> > kernel contexts don't go through the nestmmu?
>
> I think so, but will check with Alistair/Ben.
Well it's kinda up to you. Do you want to use the kernel mapping or not? I
probably would unless there are issues.
Mikey
