[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Xen-devel] [PATCH v2 11/11] xen/arm: vgic-v3: Make clear that GICD_*SPI_* registers are reserved
Our vGIC emulation have GICD_TYPER.MBIS set to 0 which means that GICD_*SPI_* registers are reserved. Implement them using the *_reserved labels. Also, implement theses registers for the read part. Signed-off-by: Julien Grall <julien.grall@xxxxxxxxxx> Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx> --- Changes in v2: - Add Ian's acked-by - Fix typoes --- xen/arch/arm/vgic-v3.c | 24 ++++++++++++++++++++---- 1 file changed, 20 insertions(+), 4 deletions(-) diff --git a/xen/arch/arm/vgic-v3.c b/xen/arch/arm/vgic-v3.c index 44e926a..985e866 100644 --- a/xen/arch/arm/vgic-v3.c +++ b/xen/arch/arm/vgic-v3.c @@ -951,15 +951,31 @@ static int vgic_v3_distr_mmio_read(struct vcpu *v, mmio_info_t *info, case VRANGE32(0x0020, 0x003C): goto read_impl_defined; + case VREG32(GICD_SETSPI_NSR): + /* Message based SPI is not implemented */ + goto read_reserved; + case VREG32(0x0044): goto read_reserved; + case VREG32(GICD_CLRSPI_NSR): + /* Message based SPI is not implemented */ + goto read_reserved; + case VREG32(0x004C): goto read_reserved; + case VREG32(GICD_SETSPI_SR): + /* Message based SPI is not implemented */ + goto read_reserved; + case VREG32(0x0054): goto read_reserved; + case VREG32(GICD_CLRSPI_SR): + /* Message based SPI is not implemented */ + goto read_reserved; + case VRANGE32(0x005C, 0x007C): goto read_reserved; @@ -1125,28 +1141,28 @@ static int vgic_v3_distr_mmio_write(struct vcpu *v, mmio_info_t *info, case VREG32(GICD_SETSPI_NSR): /* Message based SPI is not implemented */ - goto write_ignore_32; + goto write_reserved; case VREG32(0x0044): goto write_reserved; case VREG32(GICD_CLRSPI_NSR): /* Message based SPI is not implemented */ - goto write_ignore_32; + goto write_reserved; case VREG32(0x004C): goto write_reserved; case VREG32(GICD_SETSPI_SR): /* Message based SPI is not implemented */ - goto write_ignore_32; + goto write_reserved; case VREG32(0x0054): goto write_reserved; case VREG32(GICD_CLRSPI_SR): /* Message based SPI is not implemented */ - goto write_ignore_32; + goto write_reserved; case VRANGE32(0x005C, 0x007C): goto write_reserved; -- 2.1.4 _______________________________________________ Xen-devel mailing list Xen-devel@xxxxxxxxxxxxx http://lists.xen.org/xen-devel
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |