*
* Return the current time in millisecond.
*/
-XBT_INLINE XBT_PUBLIC(double) surf_get_clock(void);
+XBT_PUBLIC(double) surf_get_clock(void);
/** \brief Exit SURF
* \ingroup SURF_simulation
XBT_PUBLIC(double) get_cpu_power(const char *power);
+int surf_get_nthreads(void);
+void surf_set_nthreads(int nthreads);
+
SG_END_DECL()
#endif /* _SURF_SURF_H */