Searched hist:"8 f3ad7661400c1cf23276f8ffff905102c54329a" (Results 1 – 8 of 8) sorted by relevance
| /rk3399_ARM-atf/drivers/arm/gic/v3/ |
| H A D | gicdv3_helpers.c | 8f3ad7661400c1cf23276f8ffff905102c54329a Mon Apr 06 15:27:54 UTC 2020 Alexei Fedorov <Alexei.Fedorov@arm.com> TF-A GICv3 driver: Add extended PPI and SPI range
This patch provides support for GICv3.1 extended PPI and SPI
range. The option is enabled by setting to 1 and passing
`GIC_EXT_INTID` build flag to gicv3.mk makefile.
This option defaults to 0 with no extended range support.
Change-Id: I7d09086fe22ea531c5df51a8a1efd8928458d394
Signed-off-by: Alexei Fedorov <Alexei.Fedorov@arm.com>
|
| H A D | gicrv3_helpers.c | 8f3ad7661400c1cf23276f8ffff905102c54329a Mon Apr 06 15:27:54 UTC 2020 Alexei Fedorov <Alexei.Fedorov@arm.com> TF-A GICv3 driver: Add extended PPI and SPI range
This patch provides support for GICv3.1 extended PPI and SPI
range. The option is enabled by setting to 1 and passing
`GIC_EXT_INTID` build flag to gicv3.mk makefile.
This option defaults to 0 with no extended range support.
Change-Id: I7d09086fe22ea531c5df51a8a1efd8928458d394
Signed-off-by: Alexei Fedorov <Alexei.Fedorov@arm.com>
|
| H A D | gicv3.mk | 8f3ad7661400c1cf23276f8ffff905102c54329a Mon Apr 06 15:27:54 UTC 2020 Alexei Fedorov <Alexei.Fedorov@arm.com> TF-A GICv3 driver: Add extended PPI and SPI range
This patch provides support for GICv3.1 extended PPI and SPI
range. The option is enabled by setting to 1 and passing
`GIC_EXT_INTID` build flag to gicv3.mk makefile.
This option defaults to 0 with no extended range support.
Change-Id: I7d09086fe22ea531c5df51a8a1efd8928458d394
Signed-off-by: Alexei Fedorov <Alexei.Fedorov@arm.com>
|
| H A D | gicv3_private.h | 8f3ad7661400c1cf23276f8ffff905102c54329a Mon Apr 06 15:27:54 UTC 2020 Alexei Fedorov <Alexei.Fedorov@arm.com> TF-A GICv3 driver: Add extended PPI and SPI range
This patch provides support for GICv3.1 extended PPI and SPI
range. The option is enabled by setting to 1 and passing
`GIC_EXT_INTID` build flag to gicv3.mk makefile.
This option defaults to 0 with no extended range support.
Change-Id: I7d09086fe22ea531c5df51a8a1efd8928458d394
Signed-off-by: Alexei Fedorov <Alexei.Fedorov@arm.com>
|
| H A D | gicv3_helpers.c | 8f3ad7661400c1cf23276f8ffff905102c54329a Mon Apr 06 15:27:54 UTC 2020 Alexei Fedorov <Alexei.Fedorov@arm.com> TF-A GICv3 driver: Add extended PPI and SPI range
This patch provides support for GICv3.1 extended PPI and SPI
range. The option is enabled by setting to 1 and passing
`GIC_EXT_INTID` build flag to gicv3.mk makefile.
This option defaults to 0 with no extended range support.
Change-Id: I7d09086fe22ea531c5df51a8a1efd8928458d394
Signed-off-by: Alexei Fedorov <Alexei.Fedorov@arm.com>
|
| H A D | gicv3_main.c | 8f3ad7661400c1cf23276f8ffff905102c54329a Mon Apr 06 15:27:54 UTC 2020 Alexei Fedorov <Alexei.Fedorov@arm.com> TF-A GICv3 driver: Add extended PPI and SPI range
This patch provides support for GICv3.1 extended PPI and SPI
range. The option is enabled by setting to 1 and passing
`GIC_EXT_INTID` build flag to gicv3.mk makefile.
This option defaults to 0 with no extended range support.
Change-Id: I7d09086fe22ea531c5df51a8a1efd8928458d394
Signed-off-by: Alexei Fedorov <Alexei.Fedorov@arm.com>
|
| /rk3399_ARM-atf/include/drivers/arm/ |
| H A D | gicv3.h | 8f3ad7661400c1cf23276f8ffff905102c54329a Mon Apr 06 15:27:54 UTC 2020 Alexei Fedorov <Alexei.Fedorov@arm.com> TF-A GICv3 driver: Add extended PPI and SPI range
This patch provides support for GICv3.1 extended PPI and SPI
range. The option is enabled by setting to 1 and passing
`GIC_EXT_INTID` build flag to gicv3.mk makefile.
This option defaults to 0 with no extended range support.
Change-Id: I7d09086fe22ea531c5df51a8a1efd8928458d394
Signed-off-by: Alexei Fedorov <Alexei.Fedorov@arm.com>
|
| /rk3399_ARM-atf/docs/getting_started/ |
| H A D | build-options.rst | 8f3ad7661400c1cf23276f8ffff905102c54329a Mon Apr 06 15:27:54 UTC 2020 Alexei Fedorov <Alexei.Fedorov@arm.com> TF-A GICv3 driver: Add extended PPI and SPI range
This patch provides support for GICv3.1 extended PPI and SPI
range. The option is enabled by setting to 1 and passing
`GIC_EXT_INTID` build flag to gicv3.mk makefile.
This option defaults to 0 with no extended range support.
Change-Id: I7d09086fe22ea531c5df51a8a1efd8928458d394
Signed-off-by: Alexei Fedorov <Alexei.Fedorov@arm.com>
|