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