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