Symbol: IRBAR
arch/arm/mm/pmsa-v7.c
93
write_sysreg(v, IRBAR);
arch/arm/mm/pmsa-v7.c
98
return read_sysreg(IRBAR);