Lines Matching full:pxdbed
1625 unsigned int pxdbed : 1; /* 1 => file has been preprocessed */
1633 unsigned int time; /* modify time of file before being pxdbed */
1677 unsigned int pxdbed : 1; /* 1 => file has been preprocessed */
1684 unsigned int time; /* modify time of file before being pxdbed */
