| # The priv instruction is explicit used, so we need to generate | |
| # the priv spec attributes even if the attributes are not set. | |
| .ifdef priv_insn_a | |
| mret | |
| .endif | |
| .ifdef priv_insn_b | |
| sret | |
| .endif | |
| .ifdef priv_insn_c | |
| wfi | |
| .endif | |
| .ifdef priv_insn_d | |
| sfence.vma | |
| .endif | |
| # Obselete priv instruction. | |
| .ifdef priv_insn_e | |
| sfence.vm | |
| .endif |