1231 |
l4_msg_load (msg); |
l4_msg_load (msg); |
1232 |
l4_reply (from); |
l4_reply (from); |
1233 |
} |
} |
1234 |
|
else if (label == WORTEL_MSG_SPACE_CONTROL) |
1235 |
|
{ |
1236 |
|
if (l4_untyped_words (tag) != 5 || l4_typed_words (tag) != 0) |
1237 |
|
panic ("Invalid format of space control msg"); |
1238 |
|
|
1239 |
|
l4_thread_id_t space = l4_msg_word (msg, 0); |
1240 |
|
l4_word_t control = l4_msg_word (msg, 1); |
1241 |
|
l4_fpage_t kip = l4_msg_word (msg, 2); |
1242 |
|
l4_fpage_t utcb = l4_msg_word (msg, 3); |
1243 |
|
l4_thread_id_t redirector = l4_msg_word (msg, 4); |
1244 |
|
l4_word_t ret; |
1245 |
|
l4_word_t old_control; |
1246 |
|
|
1247 |
|
ret = l4_space_control (space, control, kip, utcb, |
1248 |
|
redirector, &old_control); |
1249 |
|
l4_msg_clear (msg); |
1250 |
|
l4_msg_append_word (msg, ret ? 0 : l4_error_code ()); |
1251 |
|
l4_msg_append_word (msg, old_control); |
1252 |
|
l4_msg_load (msg); |
1253 |
|
l4_reply (from); |
1254 |
|
} |
1255 |
else if (label == WORTEL_MSG_GET_TASK_CAP_REQUEST) |
else if (label == WORTEL_MSG_GET_TASK_CAP_REQUEST) |
1256 |
{ |
{ |
1257 |
if (cur_task == (unsigned int) -1) |
if (cur_task == (unsigned int) -1) |