Searched refs:doc_header (Results 1 – 4 of 4) sorted by relevance
40 static char *doc_header[] = { variable155 for (i = 0; doc_header[i]; i++) in main()157 fprintf (doc_stream, doc_header[i], argv[0], argv[0]); in main()
1595 DOC_info_PXDB_header doc_header; in hpread_get_header() local1606 &doc_header, 0, in hpread_get_header()1609 if (!doc_header.pxdbed) in hpread_get_header()1620 pxdb_header_p->pxdbed = doc_header.pxdbed; in hpread_get_header()1621 pxdb_header_p->bighdr = doc_header.bighdr; in hpread_get_header()1622 pxdb_header_p->sa_header = doc_header.sa_header; in hpread_get_header()1623 pxdb_header_p->inlined = doc_header.inlined; in hpread_get_header()1624 pxdb_header_p->globals = doc_header.globals; in hpread_get_header()1625 pxdb_header_p->time = doc_header.time; in hpread_get_header()1628 pxdb_header_p->files = doc_header.files; in hpread_get_header()[all …]
1659 unsigned int doc_header: 1; /* bit set if this is doc-style header */ member1698 unsigned int doc_header: 1; /* bit set if this is doc-style header*/ member