On 18/03/25 03:42, Juergen Gross wrote: > On 18.03.25 08:34, Anderson Choi wrote: > > xen panic is observed with the following configuration. > > > > 1. Debug xen build (CONFIG_DEBUG=y) > > 2. dom1 of an ARINC653 domain > > 3. shutdown dom1 with xl command > > > > $ xl shutdown <domain_name> > > > > (XEN) **************************************** > > (XEN) Panic on CPU 2: > > (XEN) Assertion '!in_irq() && (local_irq_is_enabled() || > > num_online_cpus() <= 1)' failed at common/xmalloc_tlsf.c:714 > > (XEN) **************************************** > > > > panic was triggered since xfree() was called with local IRQ disabled > > and therefore assertion failed. > > > > Fix this by calling xfree() after local IRQ is enabled. > > > > Fixes: 19049f8d796a sched: fix locking in a653sched_free_vdata() > > Signed-off-by: Anderson Choi <anderson.c...@boeing.com> > > Reviewed-by: Juergen Gross <jgr...@suse.com>
Acked-by: Nathan Studer <nathan.stu...@dornerworks.com>
