+gboolean captive_kernel_patches_debug(void);
+
+
+/**
+ * captive_kernel_patches_nondebug:
+ *
+ * Function equivalent to captive_kernel_patches_debug() but it does not patch
+ * 'pass' functions as they are not needed to be traced if no --debug-messages
+ * was specified. See captive_kernel_patches_debug() for the description
+ * of this function.
+ *
+ * Returns: %TRUE if the export was successful.
+ */
+gboolean captive_kernel_patches_nondebug(void);