/* syscall: "_ksem_close" ret: "int" args: "intptr_t" */