00001 #ifndef H_FS 00002 #define H_FS 00003 00009 #ifdef __cplusplus 00010 extern "C" { 00011 #endif 00012 00016 void rpmFreeFilesystems(void) 00017 /*@globals internalState@*/ 00018 /*@modifies internalState@*/; 00019 00026 /*@-incondefs@*/ 00027 int rpmGetFilesystemList( /*@null@*/ /*@out@*/ const char *** listptr, 00028 /*@null@*/ /*@out@*/ int * num) 00029 /*@globals fileSystem, internalState @*/ 00030 /*@modifies *listptr, *num, fileSystem, internalState @*/ 00031 /*@requires maxSet(listptr) >= 0 /\ maxSet(num) >= 0 @*/ 00032 /*@ensures maxRead(num) == 0 @*/; 00033 /*@=incondefs@*/ 00034 00044 /*@-incondefs@*/ 00045 int rpmGetFilesystemUsage(const char ** fileList, int_32 * fssizes, 00046 int numFiles, /*@null@*/ /*@out@*/ uint_64 ** usagesPtr, 00047 int flags) 00048 /*@globals rpmGlobalMacroContext, h_errno, 00049 fileSystem, internalState @*/ 00050 /*@modifies *usagesPtr, rpmGlobalMacroContext, 00051 fileSystem, internalState @*/ 00052 /*@requires maxSet(fileList) >= 0 /\ maxSet(fssizes) == 0 00053 /\ maxSet(usagesPtr) >= 0 @*/ 00054 /*@ensures maxRead(usagesPtr) == 0 @*/; 00055 /*@=incondefs@*/ 00056 00057 #ifdef __cplusplus 00058 } 00059 #endif 00060 00061 #endif /* H_FS */