c3c2174031
This header file is needed for twd_base. Signed-off-by: Catalin Marinas <catalin.marinas@arm.com> Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk> |
||
|---|---|---|
| .. | ||
| include/mach | ||
| Kconfig | ||
| Makefile | ||
| Makefile.boot | ||
| clock.c | ||
| clock.h | ||
| core.c | ||
| core.h | ||
| headsmp.S | ||
| hotplug.c | ||
| localtimer.c | ||
| platsmp.c | ||
| realview_eb.c | ||
| realview_pb11mp.c | ||
| realview_pb1176.c | ||
| realview_pba8.c | ||
| realview_pbx.c | ||