ast_read32
} while (ast_read32(ast, 0x10100) != 0xa8);
temp = ast_read32(ast, 0x10140);
} while (ast_read32(ast, 0x12000) != 0x01);
} while (ast_read32(ast, 0x10000) != 0x01);
temp = ast_read32(ast, 0x12070);
data = ast_read32(ast, 0x10120);
data = ast_read32(ast, 0x10004);
temp = ast_read32(ast, 0x1200c);
temp = ast_read32(ast, 0x12040);
mcr_cfg = ast_read32(ast, 0x10004);
} while (ast_read32(ast, 0x12000) != 0x1);
} while (ast_read32(ast, 0x10000) != 0x1);
temp = ast_read32(ast, 0x12008);
temp = ast_read32(ast, 0x12008);
data = ast_read32(ast, 0x12008);
data = ast_read32(ast, 0x12084);
data = ast_read32(ast, 0x12088);
data = ast_read32(ast, 0x12090);
data = ast_read32(ast, 0x12088);
data = ast_read32(ast, 0x1208c);
data = ast_read32(ast, 0x120a4);
data = ast_read32(ast, 0x120a8);
data = ast_read32(ast, 0x12094);
data = ast_read32(ast, 0x1202c);
data = ast_read32(ast, 0x1202c);