| * (C) Copyright 2000-2007 |
| * Wolfgang Denk, DENX Software Engineering, wd@denx.de. |
| * Copyright 2004 Freescale Semiconductor, Inc. |
| * SPDX-License-Identifier: GPL-2.0+ |
| * Derived from the MPC83xx code. |
| interrupt_handler_t *handler; |
| int interrupt_init_cpu (unsigned *decrementer_count) |
| *decrementer_count = get_tbclk () / CONFIG_SYS_HZ; |
| * Install and free an interrupt handler. |
| irq_install_handler (int irq, interrupt_handler_t * handler, void *arg) |
| void irq_free_handler (int irq) |
| void timer_interrupt_cpu (struct pt_regs *regs) |