Symbol: console_flush
sys/arch/acorn32/acorn32/rpc_machdep.c
179
# define console_flush() /* empty */
sys/arch/acorn32/eb7500atx/eb7500atx_machdep.c
185
# define console_flush() /* empty */