path: root/riscv/insns/cflush.h

require_supervisor;