/* syscall: "mincore" ret: "int" args: "void *" "size_t" "char *" */