Kees Jongenburger 0d02dc9d54 arm:make the MMU fetch pagetable data through the caches. ... Change-Id: Ibd7b66558c369d0c0792c02801562580d255fa1f		2013-09-26 11:54:36 +02:00
..
arch_clock.h	ARM updates	2013-01-17 10:03:58 +01:00
arch_proto.h	arm:no longer rely on a 1:1 phys mapping for device memory.	2013-06-12 16:42:12 +02:00
arch_watchdog.h	ARM updates	2013-01-17 10:03:58 +01:00
archconst.h	kernel:enable trace on arm.	2013-02-17 08:40:38 +01:00
cpufunc.h	arm:make the MMU fetch pagetable data through the caches.	2013-09-26 11:54:36 +02:00
direct_utils.h	ARM updates	2013-01-17 10:03:58 +01:00
hw_intr.h	fix a few more minix specific warnings	2013-08-27 16:16:03 +00:00
io.h	ARM updates	2013-01-17 10:03:58 +01:00