[Xen-devel] [PATCH v2] xen/arm: dump guest stack even if not the current VCPU

[Frediano Ziglio <freddy77@xxxxxxxxx>]

From: Frediano Ziglio <frediano.ziglio@xxxxxxxxxx>

If show_guest_stack was called from Xen context (for instance hitting
'0' key on Xen console) get_page_from_gva was not able to get the
page returning NULL.
Detecting different domain and changing VTTBR register make
get_page_from_gva works for different domains.

Signed-off-by: Frediano Ziglio <frediano.ziglio@xxxxxxxxxx>
---
 xen/arch/arm/p2m.c   | 14 +++++++++++++-
 xen/arch/arm/traps.c |  2 +-
 2 files changed, 14 insertions(+), 2 deletions(-)

Changes from v1:
- disable IRQ if different domain (as suggested by Julien Grall)

diff --git a/xen/arch/arm/p2m.c b/xen/arch/arm/p2m.c
index 1585d35..6956eab 100644
--- a/xen/arch/arm/p2m.c
+++ b/xen/arch/arm/p2m.c
@@ -1177,8 +1177,13 @@ struct page_info *get_page_from_gva(struct
domain *d, vaddr_t va,
     struct p2m_domain *p2m = &d->arch.p2m;
     struct page_info *page = NULL;
     paddr_t maddr;
+    unsigned long irq_flags = 0;

-    ASSERT(d == current->domain);
+    if ( unlikely(d != current->domain) )
+    {
+        local_irq_save(irq_flags);
+        p2m_load_VTTBR(d);
+    }

     spin_lock(&p2m->lock);

@@ -1196,6 +1201,13 @@ struct page_info *get_page_from_gva(struct
domain *d, vaddr_t va,

 err:
     spin_unlock(&p2m->lock);
+
+    if ( unlikely(d != current->domain) )
+    {
+        p2m_load_VTTBR(current->domain);
+        local_irq_restore(irq_flags);
+    }
+
     return page;
 }

diff --git a/xen/arch/arm/traps.c b/xen/arch/arm/traps.c
index f6fc8f8..4c93250 100644
--- a/xen/arch/arm/traps.c
+++ b/xen/arch/arm/traps.c
@@ -892,7 +892,7 @@ static void show_guest_stack(struct vcpu *v,
struct cpu_user_regs *regs)
         return;
     }

-    page = get_page_from_gva(current->domain, sp, GV2M_READ);
+    page = get_page_from_gva(v->domain, sp, GV2M_READ);
     if ( page == NULL )
     {
         printk("Failed to convert stack to physical address\n");
-- 
1.9.1

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel