Achin Gupta afff8cbdd8 Make enablement of the MMU more flexible ...

This patch adds a 'flags' parameter to each exception level specific function
responsible for enabling the MMU. At present only a single flag which indicates
whether the data cache should also be enabled is implemented. Subsequent patches
will use this flag when enabling the MMU in the warm boot paths.

Change-Id: I0eafae1e678c9ecc604e680851093f1680e9cefa

2014-07-19 23:31:52 +01:00

..

aarch64

Make enablement of the MMU more flexible

2014-07-19 23:31:52 +01:00

bakery_lock.h

Remove calling CPU mpidr from bakery lock API

2014-06-23 23:16:39 +01:00

cassert.h

Separate out CASSERT macro into own header

2014-05-06 12:35:02 +01:00

io_storage.h

Remove variables from .data section

2014-05-06 17:55:38 +01:00

mmio.h

Inline the mmio accessor functions

2014-06-24 14:30:23 +01:00

semihosting.h

Remove variables from .data section

2014-05-06 17:55:38 +01:00

spinlock.h

Always use named structs in header files

2014-05-06 13:57:48 +01:00