WRITECC32
WRITECC32(devinfo, sromcontrol,
WRITECC32(devinfo, sromcontrol, sromctl);
WRITECC32(devinfo, watchdog, 4);