T-Kernel Specification (1.B0.02)

42 CHAPTER 4. T-KERNEL/OS FUNCTIONS
tk set tsp
Set Task Space
[C Language Interface]
ER ercd = tk_set_tsp ( ID tskid, T_TSKSPC *pk_tskspc ) ;
[Parameters]
ID tskid Task ID
T TSKSPC tskspc Task space
typedef struct t_tskspc {
VP uatb; Task space page table address
INT lsid; Task space ID (logical space ID)
} T_TSKSPC;
[Return Parameters]
ER ercd Error code
[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 (pk tskspc is invalid or cannot be used)
[Description]
Sets the task space of 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.
The OS is not aware of the effects of task space changes. If, for example, a task space is changed
while a task is using it for its execution, the task may hang or encounter other problems. The caller is
responsible for avoiding such problems.
[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