Assertion failure error in kernel vgic interrupt processing

[Adam Lackorzynski]

Hi,

On Thu Mar 29, 2018 at 20:48:34 +0800, nico wrote:
> Hi l4 hackers,
> 
> I recently encountered an assertion failure error during the vm linux boot
> process, the kernel error is at src/kern/arm/thread-arm-hyp.cpp. 
> ------------------------------------------------------
>  vcpu_vgic_upcall(unsigned virq)
>  {
>    ......
>    assert (state() & Thread_vcpu_user);
>    ......
>  }
> ------------------------------------------------------
> The thread reports this error while processing the vgic interrupt. I'm not sure
> where the thread state has been changed. The most suspicious is the function
> vcpu_enter_kernel_mode(), but the function is called in several places. I have
> updated to the latest version (l4re-snapshot-18.03) and the error still
> appears.
> There is also a phenomenon that if multiple VMs are started, the frequency of
> this error will increase a lot. 

Interesting. Could you please be a little bit more verbose, e.g. what
type of CPU/SoC you're using and whether you're on 32 or 64bit?
Would I be able to reproduce this?



Adam