On 14 July 2018 at 18:15, Luc Michel <luc.mic...@greensocs.com> wrote: > Add the read/write functions to handle accesses to the vCPU interface. > Those accesses are forwarded to the real CPU interface, with the CPU id > being converted to the corresponding vCPU id (vCPU id = CPU id + > GIC_NCPU). > > As for the CPU interface, we create a base region for the vCPU interface > that fetches the current vCPU id using the current_cpu global variable, and > one mirror region per vCPU which maps to that specific vCPU id. This is > required by the GIC architecture specification.
Is it? The spec says the GICH registers need to be accessible like this, but not the vCPU (GICV) registers... thanks -- PMM
