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           2572 src/simh/scp.c char buf[CBUFSIZE], header[CBUFSIZE];
header           2576 src/simh/scp.c (void)sprintf (header, "\r\n%s device SET commands:\r\n\r\n", dptr->name);
header           2587 src/simh/scp.c             fprint_header (st, &found, header);
header           2602 src/simh/scp.c     fprint_header (st, &found, header);
header           2609 src/simh/scp.c     fprint_header (st, &found, header);
header           2638 src/simh/scp.c         fprint_header (st, &found, header);
header           2650 src/simh/scp.c             fprint_header (st, &found, header);
header           2676 src/simh/scp.c char buf[CBUFSIZE], header[CBUFSIZE];
header           2680 src/simh/scp.c (void)sprintf (header, "\r\n%s device SHOW commands:\r\n\r\n", dptr->name);
header           2692 src/simh/scp.c         fprint_header (st, &found, header);
header           2699 src/simh/scp.c     fprint_header (st, &found, header);
header           2709 src/simh/scp.c         fprint_header (st, &found, header);
header           10433 src/simh/scp.c void sim_debug_bits_hdr(uint32 dbits, DEVICE* dptr, const char *header,
header           10439 src/simh/scp.c     if (header)
header           10440 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,