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