Re: notify_no_senders oddity

[Thomas Bushnell BSG]

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