Function dev_release

loader/linux/src/entry.c:55–59

}

static int
dev_release(struct inode *inode, struct file *file)
{
    return 0;
}

static long
dispatch_start_vmm(void *const ioctl_args)