Symbol: tc_syncbus
sys/arch/alpha/include/tc_machdep.h
71
#define tc_syncbus() \
sys/arch/pmax/include/tc_machdep.h
70
#define tc_syncbus() wbflush() /* XXX how to do this on a DECstation ? */
sys/arch/vax/include/tc_machdep.h
70
#define tc_syncbus() do { } while (/*CONSTCOND*/ 0)