/[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.14 by marcus, Wed Sep 17 14:23:00 2003 UTC revision 1.15 by marcus, Fri Sep 19 14:18:04 2003 UTC
# Line 457  serve_bootstrap_requests (void) Line 457  serve_bootstrap_requests (void)
457          {          {
458            if (l4_untyped_words (msg_tag) != 2 || l4_typed_words (msg_tag) != 0)            if (l4_untyped_words (msg_tag) != 2 || l4_typed_words (msg_tag) != 0)
459              panic ("Invalid format of page fault message");              panic ("Invalid format of page fault message");
460            panic ("Unexpected page fault from 0x%xat address 0x%x (IP 0x%x)",            panic ("Unexpected page fault from 0x%x at address 0x%x (IP 0x%x)",
461                   from.raw, l4_msg_word (&msg, 0), l4_msg_word (&msg, 1));                   from.raw, l4_msg_word (&msg, 0), l4_msg_word (&msg, 1));
462          }          }
463        else        else

Legend:
Removed from v.1.14  
changed lines
  Added in v.1.15

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