Re: notify_no_senders oddity

[Samuel Thibault]

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