Printer-Friendly
Version
|
Next: Task Creation and Deletion:
Up: 01-l4
Previous: Revoke Mappings: fpage_unmap System
- Returns the ID of the thread which would really receive a
message sent to a specified destination thread.
- Also returns a type field, indicating the direction of the
IPC with respect to the clan boundary.
- If destination is:
- inside own clan:
- returns destination thread ID, type = same;
- outside own clan:
- returns own chief's ID, type = outer;
- in subclan of own clan:
- returns ID of chief (within own clan) of
subclan, type = inner;
- nil:
- returns own thread ID.
Gernot Heiser
2002-08-07
|