- monitor_supply_register (regno, val);
-}
-
-static void
-dink32_load (struct monitor_ops *monops, char *filename, int from_tty)
-{
- generic_load (filename, from_tty);
-
- /* Finally, make the PC point at the start address */
- if (exec_bfd)
- write_pc (bfd_get_start_address (exec_bfd));
-
- inferior_ptid = null_ptid; /* No process now */