sig
val
clone_defined_kernel_function :
Cil_types
.kernel_function
->
Cil_types
.kernel_function
end