T-Kernel Specification (1.B0.02)

4.1. TASK MANAGEMENT FUNCTIONS 41
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
E ID
E NOEXS
E PAR
Normal completion
Invalid ID number (tskid is invalid or cannot be used)
Object does not exist (the task designated in tskid does not exist)
Parameter error (the return parameter packet address cannot be used)
[Description]
Gets the current task space information for the task designated in tskid.
The invoking task can be designated 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 designated, error
code E ID is returned.
[Additional Notes]
The accuracy of T TSKSPC (uatb, lsid) designation is implementation-dependent, but the above definitions
should be followed to the extent possible.
Copyright c○ 2002, 2003 by T-Engine Forum
T-Kernel 1.B0.02