__ast_read32
p2a04 = __ast_read32(regs, AST_REG_P2A04);
p2a04_base = __ast_read32(regs, AST_REG_P2A04);
return __ast_read32(regs, AST_REG_P2A_ADDR(r));
return __ast_read32(ast->regs, reg);