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