![]() The PCI driver has not been merged yet, so comment out call to ks8695_init_pci() for now. Also fix some incorrectly marked __init and __initdata sections. Signed-off-by: Andrew Victor <andrew@sanpeople.com> Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk> |
||
---|---|---|
.. | ||
board-micrel.c | ||
cpu.c | ||
devices.c | ||
generic.h | ||
gpio.c | ||
irq.c | ||
Kconfig | ||
Makefile | ||
Makefile.boot | ||
time.c |