rpm 5.2.1
|
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@*/ rpmuint32_t * num) 00029 /*@globals h_errno, fileSystem, internalState @*/ 00030 /*@modifies *listptr, *num, fileSystem, internalState @*/ 00031 /*@requires maxSet(listptr) >= 0 /\ maxSet(num) >= 0 @*/; 00032 /*@=incondefs@*/ 00033 00043 /*@-incondefs@*/ 00044 int rpmGetFilesystemUsage(const char ** fileList, rpmuint32_t * fssizes, 00045 int numFiles, /*@null@*/ /*@out@*/ rpmuint64_t ** usagesPtr, 00046 int flags) 00047 /*@globals rpmGlobalMacroContext, h_errno, 00048 fileSystem, internalState @*/ 00049 /*@modifies *usagesPtr, rpmGlobalMacroContext, 00050 fileSystem, internalState @*/ 00051 /*@requires maxSet(fileList) >= 0 /\ maxSet(fssizes) == 0 00052 /\ maxSet(usagesPtr) >= 0 @*/; 00053 /*@=incondefs@*/ 00054 00055 #ifdef __cplusplus 00056 } 00057 #endif 00058 00059 #endif /* H_FS */