/* syscall: "compat_43_netbsd32_ogetkerninfo" ret: "int" args: "int" "netbsd32_charp" "netbsd32_intp" "int" */