Symbol: write_uint32
usr/src/cmd/mdb/common/mdb/mdb_cmds.c
240
return (write_uint32(as, addr, val, rdback));
usr/src/cmd/mdb/common/mdb/mdb_cmds.c
321
write_value = write_uint32;