remove default field for `RiscvInterruptOptions.Mode`

b122b9fbe0David Rubin committed on 10/26/2024, 3:00:43 AMparent4adf63a
1 file changedLine totals unavailable