/* syscall: "compat_43_okillpg" ret: "int" args: "int" "int" */