sctoaddr
addr = (void *)sctoaddr(sc);
dcacnaddr = (struct dcadevice *) sctoaddr(DCACONSCODE);
id_reg = (uint8_t *)sctoaddr(scode);
id_reg = (uint8_t *)sctoaddr(scode + STI_DIO_SCODE_OFFSET);
ip->fbbase = (uint8_t *)sctoaddr(ip->scode + STI_DIO_SCODE_OFFSET);
int sctoaddr(int);