build gdbserver with new library
[fw/stlink] / src / stlink-usb.c
index 478f6ac4f0e936bf9d96b6e6b3f98517e6711852..50a7d58eced5c409be02708f59cd318848c71254 100644 (file)
@@ -375,7 +375,7 @@ void _stlink_usb_read_mem32(stlink_t *sl, uint32_t addr, uint16_t len) {
     stlink_print_data(sl);
 }
 
-void _stlink_usb_read_all_regs(stlink_t *sl) {
+void _stlink_usb_read_all_regs(stlink_t *sl, reg *regp) {
     DD(sl, "oops! read_all_regs not implemented for USB!\n");
 }