riscv_intr_default_handler
KASSERT(_riscv_intr_handler == riscv_intr_default_handler ||
register_t, register_t) = riscv_intr_default_handler;