VERSION_REG
db_printf(" version: 0x%x\n", ccp_read_4(sc, VERSION_REG));
version = ccp_read_4(sc, VERSION_REG);