Re: [PATCH 10/16] xen/arm: add Persistent Map (PMAP) infrastructure

[Julien Grall]

Hi,

On 20/05/2022 13:09, Julien Grall wrote:

+void __init pmap_unmap(const void *p)
+{
+    unsigned int idx;
+    unsigned int slot = virt_to_fix((unsigned long)p);
+
+    ASSERT(system_state < SYS_STATE_smp_boot);
+    ASSERT(slot >= FIXMAP_PMAP_BEGIN && slot <= FIXMAP_PMAP_END);
+    ASSERT(in_irq());

This needs to be ASSERT(!in_irq()).

Cheers,

--
Julien Grall