Kees Jongenburger 7ee3c53f86 arm:caching introduce _CACHED defines ... Introduce ARM_VM_SECTION_CACHED and ARM_VM_PTE_CACHED to ensure we are using the correct caching flags everywhere.		2013-09-25 11:26:40 +02:00
..
earm	arm:caching introduce _CACHED defines	2013-09-25 11:26:40 +02:00
i386	VMWare poweroff magic cli;hlt sequence	2013-08-11 23:55:43 +02:00