Initialize GIC_PMRR register on ARM GIC.

Provided by: Thomas Skibo
This commit is contained in:
Damjan Marion 2013-04-22 08:28:53 +00:00
parent c4091add1f
commit 10443bc3c3

View File

@ -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);