On 10/12/2016 01:50 PM, Thomas Hanson wrote:
> Still looking into handling of tagged addresses for exceptions and
> exception returns. Will handle that as a separate patch set.
Looking at arm_cpu_do_interrupt_aarch64() and the ARM spec, the new PC value is
always an offset from the appropriate VBAR. The only place I can find the the
VBAR being set is at boot time (i.e. UEFI).
Can the boot code use a tagged pointer to specify the VBAR?
Is there some other place/time when the VBAR can be modified post-boot?