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 |