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           2453 src/simh/scp.c char buf[CBUFSIZE], header[CBUFSIZE];
header           2457 src/simh/scp.c (void)sprintf (header, "\n%s device SET commands:\n\n", dptr->name);
header           2468 src/simh/scp.c             fprint_header (st, &found, header);
header           2483 src/simh/scp.c     fprint_header (st, &found, header);
header           2490 src/simh/scp.c     fprint_header (st, &found, header);
header           2519 src/simh/scp.c         fprint_header (st, &found, header);
header           2531 src/simh/scp.c             fprint_header (st, &found, header);
header           2557 src/simh/scp.c char buf[CBUFSIZE], header[CBUFSIZE];
header           2561 src/simh/scp.c (void)sprintf (header, "\n%s device SHOW commands:\n\n", dptr->name);
header           2573 src/simh/scp.c         fprint_header (st, &found, header);
header           2580 src/simh/scp.c     fprint_header (st, &found, header);
header           2590 src/simh/scp.c         fprint_header (st, &found, header);
header           10294 src/simh/scp.c void sim_debug_bits_hdr(uint32 dbits, DEVICE* dptr, const char *header,
header           10300 src/simh/scp.c     if (header)
header           10301 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,