School of Computer Science & Engineering
University of New South Wales
Advanced Operating Systems
COMP9242 2002/S2
Next: String dope format
Up: 01-l4
Previous: Message format: Physical
Data structure l4/types.h:l4_msghdr_t
- w0
- receive fpage: describes how to map any incoming fpages
- w1
- message size dope:
specifies the total buffer space available
words: size of buffer in words (total for fpages and
in-line data)
strings: number of string dopes
- w2
- message send dope: buffer space used on sending
i.e., buffer size used (words) and string dopes used (strings)
must be less than or equal specifications of message size dope
Note: specified buffer/message size is in addition to registers
.
Gernot Heiser
2002-08-07