header           1026 src/dps8/dps8_fnp2_iomcmd.c   } header; //-V779
header            168 src/libsir/src/sirfilecache.c         char header[SIR_MAXFHEADER] = {0};
header            169 src/libsir/src/sirfilecache.c         (void)snprintf(header, SIR_MAXFHEADER, SIR_FHFORMAT, msg, timestamp);
header            171 src/libsir/src/sirfilecache.c         retval = _sirfile_write(sf, header);
header            286 src/libsir/src/sirfilecache.c             char header[SIR_MAXFHEADER] = {0};
header            287 src/libsir/src/sirfilecache.c             (void)snprintf(header, SIR_MAXFHEADER, SIR_FHROLLED, newpath);
header            288 src/libsir/src/sirfilecache.c             rolled = _sirfile_writeheader(sf, header);
header           2377 src/simh/scp.c char buf[CBUFSIZE], header[CBUFSIZE];
header           2381 src/simh/scp.c (void)sprintf (header, "\n%s device SET commands:\n\n", dptr->name);
header           2392 src/simh/scp.c             fprint_header (st, &found, header);
header           2407 src/simh/scp.c     fprint_header (st, &found, header);
header           2414 src/simh/scp.c     fprint_header (st, &found, header);
header           2443 src/simh/scp.c         fprint_header (st, &found, header);
header           2455 src/simh/scp.c             fprint_header (st, &found, header);
header           2481 src/simh/scp.c char buf[CBUFSIZE], header[CBUFSIZE];
header           2485 src/simh/scp.c (void)sprintf (header, "\n%s device SHOW commands:\n\n", dptr->name);
header           2497 src/simh/scp.c         fprint_header (st, &found, header);
header           2504 src/simh/scp.c     fprint_header (st, &found, header);
header           2514 src/simh/scp.c         fprint_header (st, &found, header);
header           10216 src/simh/scp.c void sim_debug_bits_hdr(uint32 dbits, DEVICE* dptr, const char *header,
header           10222 src/simh/scp.c     if (header)
header           10223 src/simh/scp.c         (void)fprintf(sim_deb, "%s: ", header);
header            201 src/simh/scp.h void sim_debug_bits_hdr (uint32 dbits, DEVICE* dptr, const char *header,