Re: [PATCH 4/4] device/device_emul.h (device_emulation_ops): modify so that correct argument types are listed

2013-12-17 Thread Samuel Thibault
Marin Ramesa, le Tue 17 Dec 2013 15:58:28 +0100, a écrit : > Modify structure device_emulation_ops so that correct argument types are > listed. > This patch produces warnings in the linux code. Yes. I'm not sure we really want to specify mach_device_t here, as the linux code example shows. The or

[PATCH 4/4] device/device_emul.h (device_emulation_ops): modify so that correct argument types are listed

2013-12-17 Thread Marin Ramesa
Modify structure device_emulation_ops so that correct argument types are listed. This patch produces warnings in the linux code. There is a previous version of this patch here: http://lists.gnu.org/archive/html/bug-hurd/2013-11/msg00482.html * device/device_emul.h (device_emulation_ops): Modify.