1#ifndef INC_ross_kernel_inline_h
2#define INC_ross_kernel_inline_h
8#define ROSS_MAX(a,b) ((a) > (b) ? (a) : (b))
9#define ROSS_MIN(a,b) ((a) < (b) ? (a) : (b))
33#ifdef ROSS_runtime_checks
46#ifdef ROSS_runtime_checks
58#ifdef ROSS_runtime_checks
82#ifdef USE_RAND_TIEBREAKER
tw_lpid g_st_analysis_nlp
tw_lpid g_st_total_model_lps
int g_st_use_analysis_lps
void tw_error(const char *file, int line, const char *fmt,...)
map_local_f g_tw_custom_lp_global_to_local_map
static int tw_ismaster(void)
static tw_lp * tw_getlp(tw_lpid id)
static tw_stime tw_now(tw_lp const *lp)
static tw_event_sig tw_now_sig(tw_lp const *lp)
static void * tw_getstate(tw_lp *lp)
static tw_kp * tw_getkp(tw_kpid id)
static tw_lp * tw_getlocal_lp(tw_lpid gid)
tw_event_sig last_sig
Event signature of the current event being processed.
tw_stime last_time
Time of the current event being processed.
tw_kp * kp
kp – Kernel process that we belong to (must match pe).
void * cur_state
Current application LP data.