diff options
| -rw-r--r-- | drivers/arm/gic/v3/gic600.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/drivers/arm/gic/v3/gic600.c b/drivers/arm/gic/v3/gic600.c index 4ea31ab1..217c08fd 100644 --- a/drivers/arm/gic/v3/gic600.c +++ b/drivers/arm/gic/v3/gic600.c @@ -18,19 +18,19 @@ #include "gicv3_private.h" /* GIC600-specific register offsets */ -#define GICR_PWRR 0x24 +#define GICR_PWRR 0x24 /* GICR_PWRR fields */ #define PWRR_RDPD_SHIFT 0 #define PWRR_RDGPD_SHIFT 2 #define PWRR_RDGPO_SHIFT 3 -#define PWRR_RDGPD (1 << PWRR_RDGPD_SHIFT) -#define PWRR_RDGPO (1 << PWRR_RDGPO_SHIFT) +#define PWRR_RDGPD (1 << PWRR_RDGPD_SHIFT) +#define PWRR_RDGPO (1 << PWRR_RDGPO_SHIFT) /* Values to write to GICR_PWRR register to power redistributor */ -#define PWRR_ON (0 << PWRR_RDPD_SHIFT) -#define PWRR_OFF (1 << PWRR_RDPD_SHIFT) +#define PWRR_ON (0 << PWRR_RDPD_SHIFT) +#define PWRR_OFF (1 << PWRR_RDPD_SHIFT) /* Generic GICv3 resources */ extern const gicv3_driver_data_t *gicv3_driver_data; @@ -38,12 +38,12 @@ extern const gicv3_driver_data_t *gicv3_driver_data; /* GIC600-specific accessor functions */ static void gicr_write_pwrr(uintptr_t base, unsigned int val) { - mmio_write_32(base + GICR_PWRR, val); + mmio_write_32(base + GICR_PWRR, val); } static uint32_t gicr_read_pwrr(uintptr_t base) { - return mmio_read_32(base + GICR_PWRR); + return mmio_read_32(base + GICR_PWRR); } static int gicr_group_powering_down(uint32_t pwrr) |