d/freebsd-nq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Activate IRQ 30 (non-secure private timer IRQ) for case we are running

Browse Source 
in non-secure state.
This commit is contained in:
Ruslan Bukin 2014-06-12 11:41:04 +00:00
parent f098889377
commit f0687d366a
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
sys/arm/arm/gic.c
View File

@ -166,8 +166,9 @@ gic_init_secondary(void)
/* Enable interrupt distribution */
gic_d_write_4(GICD_CTLR, 0x01);
/* Activate IRQ 29, ie private timer IRQ*/
/* Activate IRQ 29-30, ie private timer (secure & non-secure) IRQs */
gic_d_write_4(GICD_ISENABLER(29 >> 5), (1UL << (29 & 0x1F)));
gic_d_write_4(GICD_ISENABLER(30 >> 5), (1UL << (30 & 0x1F)));
}
static int