AstraVer Toolset » Deductive Verification Tools for Linux Kernel

/home/zakharov/tools/klever/inst/klever-work/native-scheduler/scheduler/jobs/2138e2b0-627a-419d-a738-3dc01e69cffb/klever-core-work-dir/job/vtg/wall/open/weaver/xfuncs.c.aux:93:[kernel] user error: implicit prototype cannot have variadic arguments

91 ldv_access(ldv_func_arg1);

92

93 return ioctl(ldv_func_arg1, ldv_func_arg2, ldv_func_arg3);

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

94 }

95

[kernel] user error: skipping file example.c that has errors.