XGICTRANSERRINTSTS
reg = readl(ctx->dev_csr + XGICTRANSERRINTSTS);
writel(reg, ctx->dev_csr + XGICTRANSERRINTSTS);