mem_vtop32_t
mem_vtop32_t vtop32;
if (copyin((void *)data, &vtop32, sizeof (mem_vtop32_t)))
if (copyout(&vtop32, (void *)data, sizeof (mem_vtop32_t)))