Kernel domain’s generic formats

Table 60 describes the generic formats owned by the kernel domain, and shows the functions performed on the calls.

Table 60. Generic formats owned by the kernel domain
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.

KEDS format, TASK_REPLY function

The TASK_REPLY function of the KEDS format is issued by the kernel to the issuer of CREATE_TASK, under the new task.

Input parameters

ATTACH_TOKEN
is the 31-bit token that uniquely identifies the corresponding CREATE_TASK request.
TASK_TOKEN
is the 31-bit token that uniquely identifies the new task.

Output parameters

RESPONSE
is the domain’s response to the call. It can have any of these values:
OK|INVALID|KERNERROR|PURGED|DISASTER

KEDS format, TCB_REPLY function

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.

Input parameters

ATTACH_TOKEN
is the 31-bit token that uniquely identifies the corresponding CREATE_TCB request.
TASK_TOKEN
is the 31-bit token that uniquely identifies the new TCB’s task.

Output parameters

RESPONSE
is the domain’s response to the call. It can have any of these values:
OK|EXCEPTION|INVALID|DISASTER

KETI format, NOTIFY_RESET function

The NOTIFY_RESET function of the KETI format is used by KETI itself to inform domains that a RESET has occurred.

Input parameters

None.

Output parameters

RESPONSE
is the domain’s response to the call. It can have any one of these values:
OK|KERNERROR|PURGED|DISASTER
[[ Contents Previous Page | Next Page Index ]]