On 04/05/2017 06:57 PM, Mark Rutland wrote:
>>> What happens if you place a full-system DSB between the printks and hte
>>> ldrex, i.e.
>>>
>>> asm volatible ("dsb sy\n" ::: "memory");
>>>
>>> ... do you still see the "Bar!" print?
>> Yep, I do, on the TK1.
>>
>> On the Orange Pi 0, behavior does not change: I only see "Foo!" in
>> either case.
> It *might* be the case that on Orange Pi, the ldrex generates a PL1
> exception that the guest doesn't handle, leaving it stuck in the
> exception handlers.
Let me verify that. I already registered handlers on the TK1 but none of
them trapped. Didn't try that on the Orange Pi.
>
> I do not have a good explanation for what's going on with the TK1. If
> the ldrex generates some unhandled PL2 exception, that could explain the
I think i could be able to instrument the hypervisor and check that as
well...
> inability to kill it, and the system-wide hang, but I don't see how the
> second print could occur in that case, unless the exception were
> asynchronous.
Sigh, and all that I wanted were some stupid spinlocks on bare metal
inmates -.-
Ralf
>
> Thanks,
> Mark.
--
You received this message because you are subscribed to the Google Groups
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
