Table 60 describes the generic formats owned by the kernel domain, and shows the functions performed on the calls.
Format | Calling module | Function |
---|---|---|
KEDS |
DFHKETA DFHKETCB |
TASK_REPLY TCB_REPLY |
KETI | DFHKETI |
NOTIFY_RESET |
In the descriptions of the formats that follow, the "input" parameters are input not to the kernel domain, but to the domain being called by the kernel domain. Similarly, the "output" parameters are output by the domain that was called by the kernel domain, in response to the call.
The TASK_REPLY function of the KEDS format is issued by the kernel to the issuer of CREATE_TASK, under the new task.
OK|INVALID|KERNERROR|PURGED|DISASTER
The TCB_REPLY function of the KEDS format is issued by the kernel to the issuer of CREATE_TCB, under the new TCB’s default task.
OK|EXCEPTION|INVALID|DISASTER
The NOTIFY_RESET function of the KETI format is used by KETI itself to inform domains that a RESET has occurred.
None.
OK|KERNERROR|PURGED|DISASTER