synch
i686_mtrr_reload(int synch)
if (synch) {
if (synch) {
synch(0L);
synch(tvtomsround(ntime));
synch((long)tvtomsround(msg->tsp_time));
synch(tvtomsround(ntime));
void synch(long);