#include <linux/sched.h>
#include <linux/mman.h>
#include <linux/init.h>
#include <linux/interrupt.h>
#include <linux/io.h>
#include <asm/page.h>
#include <asm/pgtable.h>
#include <asm/dma.h>
#include <mach/hardware.h>
#include <asm/irq.h>
#include <asm/system_misc.h>
#include <asm/mach/irq.h>
#include <asm/mach/map.h>
#include <mach/irqs.h>
#include <asm/mach/dma.h>
Go to the source code of this file.
|
#define | IRQDBG(args...) do {} while(0) |
|
#define IRQDBG |
( |
|
args... | ) |
do {} while(0) |
arch_initcall |
( |
h720x_idle_init |
| ) |
|
unsigned long h720x_gettimeoffset |
( |
void |
| ) |
|