1 // SPDX-License-Identifier: GPL-2.0+
3 * (C) Copyright 2014 Angelo Dureghello <angelo@sysam.it>
12 int interrupt_init(void)
19 void dtimer_intr_setup(void)
21 intctrl_t *icr = (intctrl_t *)(MMAP_INTC);
23 /* clearing TIMER2 mask, so enabling the related interrupt */
24 out_be32(&icr->imr, in_be32(&icr->imr) & ~0x00000400);
25 /* set TIMER2 interrupt priority */
26 out_8(&icr->icr2, CONFIG_SYS_TMRINTR_PRI);