On 07/17/2018 04:26 PM, Peter Maydell wrote: > 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... Sorry, I changed that in the patch but forgot to update the commit message. I'll fix that.
Luc > > thanks > -- PMM >
signature.asc
Description: OpenPGP digital signature
