header           1026 src/dps8/dps8_fnp2_iomcmd.c   } header; //-V779
header            169 src/libsir/src/sirfilecache.c         char header[SIR_MAXFHEADER] = {0};
header            170 src/libsir/src/sirfilecache.c         (void)snprintf(header, SIR_MAXFHEADER, SIR_FHFORMAT, msg, timestamp);
header            172 src/libsir/src/sirfilecache.c         retval = _sirfile_write(sf, header);
header            287 src/libsir/src/sirfilecache.c             char header[SIR_MAXFHEADER] = {0};
header            288 src/libsir/src/sirfilecache.c             (void)snprintf(header, SIR_MAXFHEADER, SIR_FHROLLED, newpath);
header            289 src/libsir/src/sirfilecache.c             rolled = _sirfile_writeheader(sf, header);
header           2568 src/simh/scp.c char buf[CBUFSIZE], header[CBUFSIZE];
header           2572 src/simh/scp.c (void)sprintf (header, "\r\n%s device SET commands:\r\n\r\n", dptr->name);
header           2583 src/simh/scp.c             fprint_header (st, &found, header);
header           2598 src/simh/scp.c     fprint_header (st, &found, header);
header           2605 src/simh/scp.c     fprint_header (st, &found, header);
header           2634 src/simh/scp.c         fprint_header (st, &found, header);
header           2646 src/simh/scp.c             fprint_header (st, &found, header);
header           2672 src/simh/scp.c char buf[CBUFSIZE], header[CBUFSIZE];
header           2676 src/simh/scp.c (void)sprintf (header, "\r\n%s device SHOW commands:\r\n\r\n", dptr->name);
header           2688 src/simh/scp.c         fprint_header (st, &found, header);
header           2695 src/simh/scp.c     fprint_header (st, &found, header);
header           2705 src/simh/scp.c         fprint_header (st, &found, header);
header           10411 src/simh/scp.c void sim_debug_bits_hdr(uint32 dbits, DEVICE* dptr, const char *header,
header           10417 src/simh/scp.c     if (header)
header           10418 src/simh/scp.c         (void)fprintf(sim_deb, "%s: ", header);
header            203 src/simh/scp.h void sim_debug_bits_hdr (uint32 dbits, DEVICE* dptr, const char *header,