device_reference and device_deallocate

[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 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