LMC_INT
u64 lmc_int = readq(lmc->regs + LMC_INT);
ctx->reg_int = readq(lmc->regs + LMC_INT);
writeq(ctx->reg_int, lmc->regs + LMC_INT);
lmc_int = readq(lmc->regs + LMC_INT);
writeq(lmc_int, lmc->regs + LMC_INT);