There is no meaningful sense in which ext2fs.static can "call device_map on a null pointer". device_map is an RPC. The only way a user task "calls" the kernel function is by sending an RPC. The RPC should never have gotten there without a valid receiver port, so I don't see how it's possible.
_______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
