Device pager's handle is dev_t not udev_t.

This commit is contained in:
Luoqi Chen 1999-05-13 04:02:07 +00:00
parent bae5164b37
commit 7a73ea0414
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=47094

View File

@ -36,7 +36,7 @@
* SUCH DAMAGE.
*
* @(#)device_pager.c 8.1 (Berkeley) 6/11/93
* $Id: device_pager.c,v 1.40 1999/05/08 06:40:29 phk Exp $
* $Id: device_pager.c,v 1.41 1999/05/11 19:55:07 phk Exp $
*/
#include <sys/param.h>
@ -103,7 +103,7 @@ dev_pager_alloc(void *handle, vm_ooffset_t size, vm_prot_t prot, vm_ooffset_t fo
/*
* Make sure this device can be mapped.
*/
dev = udev2dev((uintptr_t) handle, 2);
dev = (dev_t) (uintptr_t) handle;
mapfunc = devsw(dev)->d_mmap;
if (mapfunc == NULL || mapfunc == (d_mmap_t *)nullop) {
printf("obsolete map function %p\n", (void *)mapfunc);
@ -199,7 +199,7 @@ dev_pager_getpages(object, m, count, reqpage)
d_mmap_t *mapfunc;
int prot;
dev = udev2dev((uintptr_t) object->handle, 2);
dev = (dev_t) (uintptr_t) object->handle;
offset = m[reqpage]->pindex;
prot = PROT_READ; /* XXX should pass in? */
mapfunc = devsw(dev)->d_mmap;