/[hurd]/hurd-l4/wortel/wortel.c
ViewVC logotype

Diff of /hurd-l4/wortel/wortel.c

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.43 by marcus, Sun Jan 30 19:45:15 2005 UTC revision 1.44 by neal, Thu Apr 21 16:47:34 2005 UTC
# Line 1231  serve_bootstrap_requests (void) Line 1231  serve_bootstrap_requests (void)
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)

Legend:
Removed from v.1.43  
changed lines
  Added in v.1.44

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26