On 7/6/22 20:56, Tao Zhou wrote: >> +/* >> + * Entry point for the global monitor. >> + */ >> +#define DECLARE_DA_MON_GLOBAL(name, type) \ >> + \ >> +DECLARE_AUTOMATA_HELPERS(name, type); \ >> + \ >> +DECLARE_DA_MON_GENERIC_HELPERS(name, type); \ >> + \ >> +DECLARE_DA_MON_MODEL_HANDLER_IMPLICIT(name, type); \ >> + \ >> +DECLARE_DA_MON_INIT_PER_CPU(name, type); \ > Why the global monitor declaration use the per-cpu monitor macro. > Global monitor has its own DECLARE_DA_MON_INIT_GLOBAL(name, type); > Or am I miss something? > Pure miss attention from my side. Fixed -- Daniel
