Symbol: do_store_word
sys/arch/m88k/include/m88100.h
62
void do_store_word(vaddr_t, u_int32_t, int);
sys/arch/m88k/m88k/m88100_machdep.c
231
do_store_word(dmax, dmdx,
sys/arch/m88k/m88k/m88100_machdep.c
329
((u_int32_t *)(do_store_word))[1] = 0xf400c401;