tk_get_tsp

Get Task Space

[C Language Interface]

ER ercd = tk_get_tsp ( ID tskid, T_TSKSPC *pk_tskspc ) ;

[Parameters]

ID tskid Task ID

[Return Parameters]

T_TSKSPC tskspc Task space information

ER ercd Error code

typedef struct t_tskspc {

VP uatb; Task space page table address

INT lsid; Task spacE_ID (logical spacE_ID)

} T_TSKSPC;

[Error Codes]

E_OK Normal completion

E_ID Invalid ID number (tskid is invalid or cannot be used)

E_NOEXS Object does not exist (the task specified in tskid does not exist)

E_PAR Parameter error (the return parameter packet address cannot be used)

[Description]

Gets the current task space information for the task specified in tskid.

The invoking task can be specified by setting tskid = TSK_SELF = 0. Note, however, that when a

system call is issued from a task-independent portion and tskid = TSK_SELF = 0 is specified, error code E_ID is returned.

[Additional Notes]

The accuracy of T_TSKSPC (uatb, lsid) is implementation-dependent, but the above definitions should be followed to the extent possible.

Comments