Re: device_reference and device_deallocate

2008-07-18 Thread Thomas Schwinge
ever, ds_routines.c still define device_reference and > device_deallocate and kern/ipc_mig.c still calls them. Yes, that's correct, as it needs to go through the device emulation ops. I think that everything should stay as it is. It's ``a bit'' of a mess, also w.r.t

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_deal

device_reference and device_deallocate

2008-07-16 Thread Barry deFreese
Hi folks, I ran in to a strange one while working on some more gnumach cleanup. 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