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 |