with m.Switch(op):
with m.Case(MicrOp.OP_ATTN) : comb += is_priv_insn.eq(1)
with m.Case(MicrOp.OP_MFMSR) : comb += is_priv_insn.eq(1)
with m.Case(MicrOp.OP_MTMSRD): comb += is_priv_insn.eq(1)
with m.Case(MicrOp.OP_MTMSR): comb += is_priv_insn.eq(1)
with m.Case(MicrOp.OP_RFID) : comb += is_priv_insn.eq(1)
with m.Switch(op):
with m.Case(MicrOp.OP_ATTN) : comb += is_priv_insn.eq(1)
with m.Case(MicrOp.OP_MFMSR) : comb += is_priv_insn.eq(1)
with m.Case(MicrOp.OP_MTMSRD): comb += is_priv_insn.eq(1)
with m.Case(MicrOp.OP_MTMSR): comb += is_priv_insn.eq(1)
with m.Case(MicrOp.OP_RFID) : comb += is_priv_insn.eq(1)