/* syscall: "compat_43_ogetkerninfo" ret: "int" args: "int" "char *" "int *" "int" */