device_panel_count  320 src/simh/scp.h                            size_t device_panel_count);
device_panel_count  325 src/simh/scp.h                                  size_t device_panel_count,