Hi, There's something I don't understand in i386/i386at/i386at_ds_routines.c:ds_notify()
dev = (device_t) ns->not_header.msgh_remote_port;
How a port can be a device_t?
And when looking at device drivers, what is put here is really a port,
not a device_t...
Samuel
_______________________________________________
Bug-hurd mailing list
Bug-hurd@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-hurd
