Re: device_reference and device_deallocate

2008-07-18 Thread Thomas Schwinge
Hello! I hope I'm still getting this right; it's been some time that I looked at the Mach device management stuff. On Wed, Jul 16, 2008 at 11:09:04PM -0400, Barry deFreese wrote: > device_reference was renamed to mach_device_reference quite a while back > and device_deallocate was renamed to mac

Re: device_reference and device_deallocate

2008-07-17 Thread Samuel Thibault
Barry deFreese, le Wed 16 Jul 2008 23:09:04 -0400, a écrit : > device_reference was renamed to mach_device_reference quite a while back > and device_deallocate was renamed to mach_device_deallocate. > > However, ds_routines.c still define device_reference and > device_deallocate and kern/ipc_mig