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