Parent Directory | Revision Log | Patch
revision 1.1 by marcus, Tue Sep 16 19:24:05 2003 UTC | revision 1.2 by marcus, Wed Sep 17 01:16:53 2003 UTC | |
---|---|---|
# | Line 111 sigma0_get_fpage (l4_fpage_t fpage) | Line 111 sigma0_get_fpage (l4_fpage_t fpage) |
111 | l4_msg_get_map_item (&msg, 0, &map_item); | l4_msg_get_map_item (&msg, 0, &map_item); |
112 | if (l4_is_nil_fpage (map_item.send_fpage)) | if (l4_is_nil_fpage (map_item.send_fpage)) |
113 | panic ("%s: sigma0 rejected mapping", __func__); | panic ("%s: sigma0 rejected mapping", __func__); |
114 | if (l4_address (fpage) != l4_address (map_item.send_fpage)) | |
115 | panic ("%s: sigma0 returned wrong address 0x%x (expected 0x%x)", | |
116 | __func__, l4_address (map_item.send_fpage), l4_address (fpage)); | |
117 | } | } |
118 | ||
119 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |