Changes between Initial Version and Version 1 of kernel_cp2

Timestamp:

Oct 9, 2014, 10:36:37 AM (11 years ago)

Author:

alain

Comment:

--

kernel_cp2

@@ +1 @@
+= GIET-VM / CP2 registers access functions =
+
+[[PageOutline]]
+
+The [source:soft/giet_vm/giet_common/utils.c utils.c] and [source:soft/giet_vm/giet_common/utils.h util.h] files define the functions used to access the CP2 registers (Memory Management Unit registers).
+
+They are prefixed by  "_"  to remind that they can only be executed by a processor in kernel mode.
+
+ === unsigned int _get_mmu_ptpr( void ) ===
+Returns the value stored in the CP2_PTPR register, for the processor running the calling task.
+
+ === unsigned int _get_mmu_mode( void ) ===
+Returns the value stored in the CP2_MODE register, for the processor running the calling task.
+
+ === void _set_mmu_ptpr( unsigned int value ) ===
+Writes ''value'' in the CP2_PTPR register, for the processor running the calling task.
+
+ === void _set_mmu_mode( unsigned int value ) ===
+Writes ''value'' in the CP2_MODE register, for the processor running the calling task.