On Mon, 2007-01-01 at 11:49 +0100, Samuel Thibault wrote: > Hi, > > dev = (device_t) ns->not_header.msgh_remote_port; > > How can this work? (I currently have a kernel fault here)
A device_t and a mach_port_t are exactly the same data type, both are just integers, unless I am confused. However, if there is a fault on the line of code indicated above, I would guess that NS is pointing somewhere bogus. Thomas
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
