Symbol: GICC_REG_CTLR
src/system/kernel/arch/arm/arch_int_gicv2.cpp
45
fGiccRegs[GICC_REG_CTLR] = 0;
src/system/kernel/arch/arm/arch_int_gicv2.cpp
71
fGiccRegs[GICC_REG_CTLR] = 0x01;