On 02/22/2017 05:46 AM, Errico Guidieri wrote:
>
> 4. This question is more a curiosity. In header.S the irq vector entries
> do not save and restore the scratch/volatile registers. IMHO this seems
> to not match the ARMv8 ABI and could even bring to abnormal behavior in
> some circumstances. Is it correct or am I wrong ?
> original ARM porting (32 bit) used GCC __attribute__((interrupt("IRQ")))
> for vector_irq function, but this strategy is no more available on ARM64
> (I don't know why this features has not been added for ARMv8 version of
> the GCC too).
Let me add Antonios.
Tony, is there a reason why we don't push registers when entering the
inmate ISR on arm64? Had a quick look at the disassembly and seems like
we in deed don't push registers...
Ralf
--
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.
