+(defvar dwarf--process nil
+ "Running objdump process, or nil.")
+
+(defvar dwarf--deletion-region nil
+ "Region to delete before inserting text in `dwarf--filter'.")
+
+(defun dwarf--check-running ()
+ "Throw an exception if an objdump process is already running."
+ (when dwarf--process
+ (error "An objdump process is still running in this buffer")))
+
+(defun dwarf--filter (proc string)
+ "Filter function for objdump processes."
+ (when (buffer-live-p (process-buffer proc))
+ (with-current-buffer (process-buffer proc)
+ (save-excursion
+ (let ((inhibit-read-only t))
+ (when dwarf--deletion-region
+ (apply #'delete-region dwarf--deletion-region)
+ (setq dwarf--deletion-region nil))
+ (goto-char (process-mark proc))
+ (insert string)
+ (set-marker (process-mark proc) (point))
+ (set-buffer-modified-p nil))))))
+
+(defun dwarf--sentinel (_proc _status)
+ (setq mode-line-process nil)
+ (setq dwarf--process nil))
+
+(defun dwarf--invoke (start end &rest command)
+ "Invoke a command and arrange to insert output into the current buffer."
+ (setq mode-line-process "[Running]")
+ (setq dwarf--deletion-region (list start end))
+ (setq dwarf--process (make-process :name "objdump"
+ :buffer (current-buffer)
+ :command command
+ :connection-type 'pipe
+ :noquery t
+ :filter #'dwarf--filter
+ :sentinel #'dwarf--sentinel))
+ (set-marker (process-mark dwarf--process) (point)))
+