Searched refs:pxdbed (Results 1 – 2 of 2) sorted by relevance
1624 unsigned int pxdbed : 1; /* 1 => file has been preprocessed */ member1676 unsigned int pxdbed : 1; /* 1 => file has been preprocessed */ member
367 unsigned int pxdbed; in hpread_pxdb_needed() local397 pxdbed = (tmp >> 31) & 0x1; in hpread_pxdb_needed()399 if (!pxdbed) in hpread_pxdb_needed()464 pxdbed = (tmp >> 31) & 0x1; in hpread_pxdb_needed()466 if (pxdbed) in hpread_pxdb_needed()1586 if (!pxdb_header_p->pxdbed) in hpread_get_header()1611 if (!doc_header.pxdbed) in hpread_get_header()1622 pxdb_header_p->pxdbed = doc_header.pxdbed; in hpread_get_header()