NAME
        FreeDeviceProc -- Releases port returned by getdeviceproc() (v36)

   SYNOPSIS
        FreeDeviceProc(devproc)
                         D1

        void FreeDeviceProc(struct devproc *)

   FUNCTION
        Frees up the structure created by getdeviceproc(), and any associated
        temporary locks.

        Decrements the counter incremented by getdeviceproc().  the counter
        is in an extension to the 1.3 process structure.  After calling
        FreeDeviceProc(), do not use the port or lock again!  It is safe to
        call FreeDeviceProc(NULL).

   INPUTS
        devproc - A value returned by getdeviceproc()

   BUGS
        Counter not currently active in 2.0.

   SEE ALSO
        getdeviceproc(), deviceproc(), assignlock(), assignlate(),
        assignpath()