Searched refs:vunmaprange (Results 1 – 2 of 2) sorted by relevance
62 void vunmaprange(vaddr_t, vsize_t);232 vunmaprange(vaddr_t kaddr, vsize_t len) in vunmaprange() function
425 extern void vunmaprange(vaddr_t, vsize_t);542 vunmaprange((vaddr_t)up, len); in bigcopyin()663 vunmaprange((vaddr_t)up, len); in bigcopyout()