Signed-off-by: Sergej Proskurin <prosku...@sec.in.tum.de> --- Cc: Stefano Stabellini <sstabell...@kernel.org> Cc: Julien Grall <julien.gr...@arm.com> --- v2: Dump p2m information of the hostp2m and all altp2m views.
v4: Adjust printk format. --- xen/arch/arm/p2m.c | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/xen/arch/arm/p2m.c b/xen/arch/arm/p2m.c index dcf7be6439..db213bea20 100644 --- a/xen/arch/arm/p2m.c +++ b/xen/arch/arm/p2m.c @@ -103,6 +103,26 @@ void dump_p2m_lookup(struct domain *d, paddr_t addr) dump_pt_walk(page_to_maddr(p2m->root), addr, P2M_ROOT_LEVEL, P2M_ROOT_PAGES); + printk("\n"); + + if ( altp2m_active(d) ) + { + unsigned int i; + + for ( i = 0; i < MAX_ALTP2M; i++ ) + { + if ( d->arch.altp2m_p2m[i] == NULL ) + continue; + + p2m = d->arch.altp2m_p2m[i]; + + printk("AP2M[%u] @ %p mfn:%lx\n", + i, p2m->root, __page_to_mfn(p2m->root)); + + dump_pt_walk(page_to_maddr(p2m->root), addr, P2M_ROOT_LEVEL, P2M_ROOT_PAGES); + printk("\n"); + } + } } void p2m_save_state(struct vcpu *p) -- 2.13.3 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel