Symbol: do_store_half
sys/arch/m88k/include/m88100.h
63
void do_store_half(vaddr_t, u_int16_t, int);
sys/arch/m88k/m88k/m88100_machdep.c
222
do_store_half(dmax, dmdx,
sys/arch/m88k/m88k/m88100_machdep.c
330
((u_int32_t *)(do_store_half))[1] = 0xf400c401;