Give simgrid's host its own header file and datatype

[simgrid.git] / src / mc / mc_unw.h

diff --git a/src/mc/mc_unw.h b/src/mc/mc_unw.h
index 267c850..eac812d 100644 (file)
--- a/src/mc/mc_unw.h
+++ b/src/mc/mc_unw.h
@@ -5,8 +5,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_UNW_H
-#define MC_UNW_H
+#ifndef SIMGRID_MC_UNW_H
+#define SIMGRID_MC_UNW_H
 
 /** \file
  *  Libunwind implementation for the model-checker
@@ -53,7 +53,7 @@ extern unw_accessors_t mc_unw_vmread_accessors;
  *
  *  It works with the `s_mc_unw_context_t` context.
  */
-extern unw_accessors_t mc_unw_accessors;
+extern XBT_INTERNAL unw_accessors_t mc_unw_accessors;
 
 // ***** Libunwind context
 
@@ -66,16 +66,13 @@ typedef struct s_mc_unw_context {
 } s_mc_unw_context_t, *mc_unw_context_t;
 
 /** Initialises an already allocated context */
-int mc_unw_init_context(
+XBT_INTERNAL int mc_unw_init_context(
   mc_unw_context_t context, mc_process_t process, unw_context_t* c);
 
-/** Destroys (but not not `free`) a context */
-int mc_unw_destroy_context(mc_unw_context_t context);
-
 // ***** Libunwind cursor
 
 /** Initialises a `libunwind` cursor */
-int mc_unw_init_cursor(unw_cursor_t *cursor, mc_unw_context_t context);
+XBT_INTERNAL int mc_unw_init_cursor(unw_cursor_t *cursor, mc_unw_context_t context);
 
 SG_END_DECL()