vmap_t
vmap_t vml[],
vmap_t vml[],
vpm_unmap_pages(vmap_t vml[], enum seg_rw rw)
vmap_t vml[],
vmap_t *vml,
vpm_unmap_pages(vmap_t vml[], enum seg_rw rw)
vmap_t *, int, int *, enum seg_rw);
extern void vpm_unmap_pages(vmap_t *, enum seg_rw);