Lines Matching full:filesystem
34 /*@globals fileSystem@*/
35 /*@modifies fileSystem@*/
221 /*@globals fileSystem @*/
222 /*@modifies *fp, fileSystem @*/
476 /*@globals fileSystem @*/
477 /*@modifies *fp, fileSystem @*/
503 /*@globals fileSystem @*/
504 /*@modifies *fp, fileSystem @*/
542 /*@globals fileSystem @*/
543 /*@modifies *fp, fileSystem @*/
588 /*@globals fileSystem @*/
589 /*@modifies *fp, fileSystem @*/
664 /*@globals fileSystem @*/
665 /*@modifies *fp, fileSystem @*/
709 /*@globals fileSystem @*/
710 /*@modifies *fp, done, fileSystem @*/
758 /*@globals fileSystem @*/
759 /*@modifies *str, *fp, fileSystem @*/