/* syscall: "sysarch" ret: "int" args: "int" "void *" */