smx_actor_t issuer;
smx_timer_t timer;
int mc_value;
- union u_smx_scalar args[11];
- union u_smx_scalar result;
+ u_smx_scalar args[11];
+ u_smx_scalar result;
};
#define SIMCALL_SET_MC_VALUE(simcall, value) ((simcall)->mc_value = (value))
template <std::size_t I> inline void marshalArgs(smx_simcall_t simcall)
{
+ /* Nothing to do when no args */
}
template <std::size_t I, class A> inline void marshalArgs(smx_simcall_t simcall, A const& a)