1 /* Copyright (c) 2007-2010, 2012-2014. The SimGrid Team.
2 * All rights reserved. */
4 /* This program is free software; you can redistribute it and/or modify it
5 * under the terms of the license (GNU LGPL) which comes with this package. */
7 #ifndef _POPPING_PRIVATE_H
8 #define _POPPING_PRIVATE_H
12 /********************************* Simcalls *********************************/
13 XBT_PUBLIC_DATA(const char*) simcall_names[]; /* Name of each simcall */
15 #include "popping_enum.h" /* Definition of e_smx_simcall_t, with one value per simcall */
16 #include "mc/mc_forward.h" /* Definition of mc_snapshot_t, used by one simcall */
18 typedef int (*simix_match_func_t)(void *, void *, smx_synchro_t);
19 typedef void (*simix_copy_data_func_t)(smx_synchro_t, void*, size_t);
20 typedef void (*simix_clean_func_t)(void *);
21 typedef void (*FPtr)(void); // Hide the ugliness
23 /* Pack all possible scalar types in an union */
45 * \brief Represents a simcall to the kernel.
47 typedef struct s_smx_simcall {
51 union u_smx_scalar args[11];
52 union u_smx_scalar result;
53 } s_smx_simcall_t, *smx_simcall_t;
55 #define SIMCALL_SET_MC_VALUE(simcall, value) ((simcall)->mc_value = (value))
56 #define SIMCALL_GET_MC_VALUE(simcall) ((simcall)->mc_value)
58 #include "popping_accessors.h"
60 /******************************** General *************************************/
62 void SIMIX_simcall_answer(smx_simcall_t);
63 void SIMIX_simcall_handle(smx_simcall_t, int);
64 void SIMIX_simcall_exit(smx_synchro_t);
65 const char *SIMIX_simcall_name(e_smx_simcall_t kind);