VMM_RISCV_FENCE_VMA
case VMM_RISCV_FENCE_VMA:
KASSERT(fence->type == VMM_RISCV_FENCE_VMA ||
fence.type = VMM_RISCV_FENCE_VMA;