diff --git a/sys/arm/arm/gic.c b/sys/arm/arm/gic.c index ba25c1d0fe10..2871d9de24b0 100644 --- a/sys/arm/arm/gic.c +++ b/sys/arm/arm/gic.c @@ -134,6 +134,9 @@ gic_init_secondary(void) /* Enable CPU interface */ gic_c_write_4(GICC_CTLR, 1); + /* Set priority mask register. */ + gic_c_write_4(GICC_PMR, 0xff); + /* Enable interrupt distribution */ gic_d_write_4(GICD_CTLR, 0x01); @@ -199,6 +202,9 @@ arm_gic_attach(device_t dev) /* Enable CPU interface */ gic_c_write_4(GICC_CTLR, 1); + /* Set priority mask register. */ + gic_c_write_4(GICC_PMR, 0xff); + /* Enable interrupt distribution */ gic_d_write_4(GICD_CTLR, 0x01);