Searched refs:__dv_time_emitted (Results 1 – 4 of 4) sorted by relevance
5277 if (!__dv_time_emitted) in __do_dmpvars_baseline()5281 __dv_time_emitted = TRUE; in __do_dmpvars_baseline()5424 if (!__dv_time_emitted) in __do_dmpvars_chg()5429 __dv_time_emitted = TRUE; in __do_dmpvars_chg()
3227 extern int32 __dv_time_emitted; /* flag to stop repeated same #[time] */
370 int32 __dv_time_emitted; /* flag to stop repeated same #[time] */ variable
670 __dv_time_emitted = FALSE; in exec_slotend_dv()