Symbol: do_store_byte
sys/arch/m88k/include/m88100.h
64
void do_store_byte(vaddr_t, u_int8_t, int);
sys/arch/m88k/m88k/m88100_machdep.c
213
do_store_byte(dmax, dmdx,
sys/arch/m88k/m88k/m88100_machdep.c
331
((u_int32_t *)(do_store_byte))[1] = 0xf400c401;