| 128 | }; |
| 129 | |
| 130 | struct FwConfig { |
| 131 | uint32_t interrupt_limit; |
| 132 | uint32_t num_disabled_interrupts; |
| 133 | uint32_t* disabled_interrupts; |
| 134 | uint32_t intlinesnum; |
| 135 | |
| 136 | bool do_print_exit_info; |
| 137 | |
| 138 | // Hang heuristics |
| 139 | uint64_t instr_limit; |
| 140 | uint64_t fuzz_consumption_timeout; |
| 141 | |
| 142 | // Configures whether we allow nested interrupts to be triggered. |
| 143 | bool enable_nested_interrupts; |
| 144 | // Controls whether an interrupt can be set to pending while it is active. |
| 145 | bool allow_active_interrupt_pending; |
| 146 | |
| 147 | // Systick config |
| 148 | uint32_t user_configured_reload_val; |
| 149 | |
| 150 | // Timer config |
| 151 | uint32_t timer_scale; |
| 152 | }; |
| 153 | |
| 154 | struct saved_regs { |
| 155 | uint32_t r0, r1, r2, r3, r12, lr, pc_retaddr, xpsr_retspr, sp; |
nothing calls this directly
no outgoing calls
no test coverage detected