portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

armv8/tx1: Fix a typo

Browse source 
Change GIC_CONTROLLER0_PADDR to GIC_CONTROLLER_PADDR
This commit is contained in:
Yanyan Shen 2018-03-05 15:30:11 +11:00
parent 2337827e3a
commit 5d3154da80
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
include/plat/tx1/plat/machine/devices.h
View file

@ -22,7 +22,7 @@
#define GIC_PL390_DISTRIBUTOR_PPTR GIC_DISTRIBUTOR_PPTR
#define GIC_DISTRIBUTOR_PADDR GICD_PADDR
#define GIC_CONTROLLER0_PADDR GICI_PADDR
#define GIC_CONTROLLER_PADDR GICI_PADDR
/* many of the device regions are not 4K page aligned, so some regions may contain more than
* one devices. it is the user's responsibilty to figure out how to use these regions */

2
include/plat/tx1/plat/machine/hardware.h
View file

@ -28,7 +28,7 @@
static const kernel_frame_t BOOT_RODATA kernel_devices[] = {
{
/* map kernel device: GIC */
GIC_CONTROLLER0_PADDR,
GIC_CONTROLLER_PADDR,
GIC_CONTROLLER_PPTR,
true /* armExecuteNever */
},