void Monitor_64_2(char *t0) { char *t1; char *t2; LAB0: t1 = (t0 + 3472); t2 = (t0 + 3984); xsi_vlogfile_monitor((void *)Monitor_64_2_Func, t1, t2); LAB1: return; }
void Monitor_56_4(char *t0) { char *t1; char *t2; LAB0: t1 = (t0 + 3208); t2 = (t0 + 3504); xsi_vlogfile_monitor((void *)Monitor_56_4_Func, t1, t2); LAB1: return; }
void Monitor_89_2(char *t0) { char *t1; char *t2; LAB0: t1 = (t0 + 3312); t2 = (t0 + 3824); xsi_vlogfile_monitor((void *)Monitor_89_2_Func, t1, t2); LAB1: return; }
void Monitor_60_2(char *t0) { char *t1; char *t2; LAB0: t1 = (t0 + 2064); t2 = (t0 + 2360); xsi_vlogfile_monitor((void *)Monitor_60_2_Func, t1, t2); LAB1: return; }