(map, insn_str)
| 532 | } |
| 533 | |
| 534 | export function get_gadget(map, insn_str) { |
| 535 | const addr = map.get(insn_str); |
| 536 | if (addr === undefined) { |
| 537 | throw Error(`gadget not found: ${insn_str}`); |
| 538 | } |
| 539 | |
| 540 | return addr; |
| 541 | } |
| 542 | |
| 543 | function load_fw_specific(version) { |
| 544 | if (version & 0x10000) { |