kern_mincore
return (kern_mincore(td, args->start, args->len, args->vec));
int kern_mincore(struct thread *td, uintptr_t addr, size_t len, char *vec);
return (kern_mincore(td, (uintptr_t)uap->addr, uap->len, uap->vec));