// SPDX-License-Identifier: GPL-2.0 // // Copyright 2010 Darius Augulis // Copyright 2008 Openmoko, Inc. // Copyright 2008 Simtec Electronics // Ben Dooks // http://armlinux.simtec.co.uk/ #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include "map.h" #include "regs-gpio.h" #include "gpio-samsung.h" #include #include "cpu.h" #include "devs.h" #include "fb.h" #include #include #include "sdhci.h" #include #include "irqs.h" #include