On Tue, 2015-05-05 at 14:48 +0100, Julien Grall wrote: > > Do we need to also check that we are configuring the same number of > > levels of PT etc, or is that already handled? > > The SMMU only care about the number of IPA bits.
What ensures that the starting level of the SMMU matches the starting level of the MMU-s2? Feeding a 3-level table to an MMU which is configured to expect 4 won't end well. Ian. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
