s_smx_simcall Struct Reference

Detailed Description

Represents a simcall to the kernel.

#include <popping_private.h>

Public Attributes
e_smx_simcall_t	call
smx_actor_t	issuer
smx_timer_t	timer
int	mc_value
union u_smx_scalar	args [11]
union u_smx_scalar	result

Member Data Documentation

call

e_smx_simcall_t s_smx_simcall::call

issuer

smx_actor_t s_smx_simcall::issuer

timer

smx_timer_t s_smx_simcall::timer

mc_value

int s_smx_simcall::mc_value

args

union u_smx_scalar s_smx_simcall::args[11]

result

union u_smx_scalar s_smx_simcall::result

---

The documentation for this struct was generated from the following file:

• src/simix/popping_private.h