mirror of
https://github.com/drasko/codezero.git
synced 2026-01-18 22:03:16 +01:00
Reorganized a few header file comments
This commit is contained in:
@@ -9,15 +9,18 @@
|
||||
/* Pagefault */
|
||||
#define L4_IPC_TAG_PFAULT 0
|
||||
|
||||
#define L4_IPC_FLAGS_TYPE_MASK 0x0000000F
|
||||
#define L4_IPC_FLAGS_SHORT 0x00000000 /* Short IPC involves just primary message registers */
|
||||
#define L4_IPC_FLAGS_FULL 0x00000001 /* Full IPC involves full UTCB copy */
|
||||
#define L4_IPC_FLAGS_EXTENDED 0x00000002 /* Extended IPC can page-fault and copy up to 2KB */
|
||||
|
||||
/* Extended IPC extra fields */
|
||||
#define L4_IPC_FLAGS_MSG_INDEX_MASK 0x00000FF0 /* Index of message register with buffer pointer */
|
||||
#define L4_IPC_FLAGS_TYPE_MASK 0x0000000F
|
||||
#define L4_IPC_FLAGS_SIZE_MASK 0x0FFF0000
|
||||
#define L4_IPC_FLAGS_SIZE_SHIFT 16
|
||||
#define L4_IPC_FLAGS_MSG_INDEX_SHIFT 4
|
||||
|
||||
|
||||
#define L4_IPC_EXTENDED_MAX_SIZE (SZ_1K*2)
|
||||
|
||||
#if defined (__KERNEL__)
|
||||
|
||||
@@ -14,7 +14,7 @@
|
||||
* the microkernel will read and they have system-wide meaning.
|
||||
*
|
||||
* Primary message registers:
|
||||
* r3 - r8: These 6 registers are the primary message registers MR0-MR6
|
||||
* r3 - r8: These 6 registers are the primary message registers MR0-MR6.
|
||||
* Their format is application-specific, i.e. the microkernel imposes no
|
||||
* format restrictions on them.
|
||||
*
|
||||
|
||||
Reference in New Issue
Block a user