Re: [PATCH] Cast kernel server call arguments to the correct type when mach_port_t and ipc_port_t are used interchangeably

On Tue, Feb 09, 2016 at 12:42:52AM +0100, Samuel Thibault wrote: > Fl?vio Cruz, on Tue 09 Feb 2016 00:32:59 +0100, wrote: > > Could anyone take another look at this patch? > > I wanted to sleep a bit over it, it seems I have overslept :) > > "itSpecial" is usually a bad sign, "Read comments on >

Re: [PATCH] Cast kernel server call arguments to the correct type when mach_port_t and ipc_port_t are used interchangeably

Flavio Cruz, on Sun 07 Feb 2016 18:34:26 -0500, wrote: > On Tue, Feb 09, 2016 at 12:42:52AM +0100, Samuel Thibault wrote: > > Fl?vio Cruz, on Tue 09 Feb 2016 00:32:59 +0100, wrote: > > > Could anyone take another look at this patch? > > > > I wanted to sleep a bit over it, it seems I have overslep

[PATCH] Cast kernel server port arguments to the correct type.

* server.c: Add cast for ipc_port_t arguments that are handled differently. * type.c: Set itKernelPort when the mach_port_t is treated as a ipc_port_t. * type.h: Add itKernelPort to struct ipc_type. --- server.c | 12 type.c | 11 +++ type.h | 5 + 3 files changed, 24

Re: [PATCH] Cast kernel server port arguments to the correct type.

Flavio Cruz, on Sun 07 Feb 2016 20:08:58 -0500, wrote: > * server.c: Add cast for ipc_port_t arguments that are handled differently. > * type.c: Set itKernelPort when the mach_port_t is treated as a ipc_port_t. > * type.h: Add itKernelPort to struct ipc_type. Applied, thanks!