__ast_read32
data = __ast_read32(regs, 0xf004);
scu_rev = __ast_read32(regs, 0x1207c);
return __ast_read32(ast->regs, reg);
data = __ast_read32(regs, 0xf004) & 0xffff0000;
return __ast_read32(regs, 0x10000 + (r & 0x0000ffff));
data = __ast_read32(regs, 0xf004) & 0xffff0000;