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 and kern/ipc_mig.c still calls them.
As far as I can tell kern/ipc_mig.c is the only code that still references. Do you think I'm safe to remove those functions from ds_routines.c and update kern/ipc_mig.c to use mach_device_*?
(Which are now prototyped in device/dev_hdr.h bye the way). Thanks! Barry deFreese
