Symbol: rmixl_puthex32
sys/arch/evbmips/rmixl/machdep.c
726
rmixl_puthex32(i);
sys/arch/evbmips/rmixl/machdep.c
732
rmixl_puthex32(map->entry[i].type);
sys/arch/evbmips/rmixl/machdep.c
830
rmixl_puthex32(i);
sys/arch/mips/rmi/rmixl_comvar.h
42
void rmixl_puthex32(uint32_t); /* XXX DEBUG */