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           2389 src/simh/scp.c char buf[CBUFSIZE], header[CBUFSIZE];
header           2393 src/simh/scp.c (void)sprintf (header, "\n%s device SET commands:\n\n", dptr->name);
header           2404 src/simh/scp.c             fprint_header (st, &found, header);
header           2419 src/simh/scp.c     fprint_header (st, &found, header);
header           2426 src/simh/scp.c     fprint_header (st, &found, header);
header           2455 src/simh/scp.c         fprint_header (st, &found, header);
header           2467 src/simh/scp.c             fprint_header (st, &found, header);
header           2493 src/simh/scp.c char buf[CBUFSIZE], header[CBUFSIZE];
header           2497 src/simh/scp.c (void)sprintf (header, "\n%s device SHOW commands:\n\n", dptr->name);
header           2509 src/simh/scp.c         fprint_header (st, &found, header);
header           2516 src/simh/scp.c     fprint_header (st, &found, header);
header           2526 src/simh/scp.c         fprint_header (st, &found, header);
header           10228 src/simh/scp.c void sim_debug_bits_hdr(uint32 dbits, DEVICE* dptr, const char *header,
header           10234 src/simh/scp.c     if (header)
header           10235 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,