| 167 | extern uint32_t generic_bs_poke_4f, generic_bs_poke_8f; |
| 168 | |
| 169 | static bool |
| 170 | test_bs_fault(void *addr) |
| 171 | { |
| 172 | return (addr == &generic_bs_peek_1f || |
| 173 | addr == &generic_bs_peek_2f || |
| 174 | addr == &generic_bs_peek_4f || |
| 175 | addr == &generic_bs_peek_8f || |
| 176 | addr == &generic_bs_poke_1f || |
| 177 | addr == &generic_bs_poke_2f || |
| 178 | addr == &generic_bs_poke_4f || |
| 179 | addr == &generic_bs_poke_8f); |
| 180 | } |
| 181 | |
| 182 | static void |
| 183 | svc_handler(struct thread *td, struct trapframe *frame) |