Thomas Bushnell BSG, le Mon 01 Jan 2007 15:26:36 -0800, a écrit : > My source (have things changed here in some material way?)
My source is gnumach-1-branch. Yours is probably main branch. > ns = (mach_no_senders_notification_t *) msg; > dev = dev_port_lookup ((ipc_port_t) > ns->not_header.msgh_remote_port); > > Notice that this routine does not simply cast the remote point, but > looks it up in the table of device ports. Ah, this makes much more sense indeed. Samuel _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
