Symbol: do_load_byte
sys/arch/m88k/include/m88100.h
61
u_int32_t do_load_byte(vaddr_t, int);
sys/arch/m88k/m88k/m88100_machdep.c
239
v = do_load_byte(dmax, dmtx & DMT_DAS);
sys/arch/m88k/m88k/m88100_machdep.c
328
((u_int32_t *)(do_load_byte))[1] = 0xf400c401;