[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Cast kernel server port arguments to the correct type.
From: |
Samuel Thibault |
Subject: |
Re: [PATCH] Cast kernel server port arguments to the correct type. |
Date: |
Tue, 9 Feb 2016 23:50:20 +0100 |
User-agent: |
Mutt/1.5.21+34 (58baf7c9f32f) (2010-12-30) |
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!