1 files changed, 2 insertions, 1 deletions
diff --git a/dwflpp.h b/dwflpp.h
index 5f04d824..979ec868 100644
--- a/dwflpp.h
+++ b/dwflpp.h
@@ -173,7 +173,7 @@ struct dwflpp
   std::string function_name;
 
   dwflpp(systemtap_session & session, const std::string& user_module, bool kernel_p);
-  dwflpp(systemtap_session & session, const std::vector<std::string>& user_modules);
+  dwflpp(systemtap_session & session, const std::vector<std::string>& user_modules, bool kernel_p);
   ~dwflpp();
 
   void get_module_dwarf(bool required = false, bool report = true);
@@ -293,6 +293,7 @@ private:
   Dwarf_Die * function;
 
   void setup_kernel(const std::string& module_name, bool debuginfo_needed = true);
+  void setup_kernel(const std::vector<std::string>& modules, bool debuginfo_needed = true);
   void setup_user(const std::vector<std::string>& modules, bool debuginfo_needed = true);
 
   module_cu_cache_t module_cu_cache;