···31 isb();32 }3334+ /*35+ * __load_guest_stage2() includes an ISB only when the AT36+ * workaround is applied. Take care of the opposite condition,37+ * ensuring that we always have an ISB, but not two ISBs back38+ * to back.39+ */40 __load_guest_stage2(mmu);41+ asm(ALTERNATIVE("isb", "nop", ARM64_WORKAROUND_SPECULATIVE_AT));42}4344static void __tlb_switch_to_host(struct tlb_inv_context *cxt)