L2C_MCI_INT_W1C
ctx->reg_int = readq(mci->regs + L2C_MCI_INT_W1C);
writeq(ctx->reg_int, mci->regs + L2C_MCI_INT_W1C);