Symbol: ARMADAXP_MLMB_MPIC_CTP
sys/arch/arm/marvell/armadaxp.c
661
ctp = MPIC_CPU_READ(ARMADAXP_MLMB_MPIC_CTP);
sys/arch/arm/marvell/armadaxp.c
664
MPIC_CPU_WRITE(ARMADAXP_MLMB_MPIC_CTP, ctp);