Source position: ipc.inc line 97
function IOS_IoctlvReboot(
fd: cint32;
ioctl: cint32;
cnt_in: cint32;
cnt_io: cint32;
argv: Pioctlv
):cint32;