|
Linux Kernel
3.7.1
|
#include <linux/dw_apb_timer.h>#include <linux/of_irq.h>#include <linux/of_platform.h>#include <asm/hardware/cache-l2x0.h>#include <asm/hardware/gic.h>#include <asm/mach/arch.h>Go to the source code of this file.
Functions | |
| void | socfpga_init_clocks (void) |
Variables | |
| init_irq = gic_init_irq | |
| handle_irq = gic_handle_irq | |
| timer = &dw_apb_timer | |
| init_machine = socfpga_cyclone5_init | |
| restart = socfpga_cyclone5_restart | |
| dt_compat = altera_dt_match | |
| handle_irq = gic_handle_irq |
| init_irq = gic_init_irq |
1.8.2