RISCV_KERNEL_MODE_V
return !irqs_disabled() && !(riscv_v_flags() & RISCV_KERNEL_MODE_V);
riscv_v_start(RISCV_KERNEL_MODE_V);
riscv_v_stop(RISCV_KERNEL_MODE_V);