Linux Kernel
3.7.1
|
#include <linux/irq.h>
#include <linux/io.h>
#include <linux/gpio.h>
#include <asm/bootparam.h>
#include <variant/hardware.h>
#include <variant/gpio.h>
#include <platform/gpio.h>
Go to the source code of this file.
Functions | |
void | platform_halt (void) |
void | platform_power_off (void) |
void | platform_restart (void) |
void __init | platform_setup (char **cmdline) |
void __init | platform_init (bp_tag_t *first) |
void | platform_heartbeat (void) |