fs.h
Go to the documentation of this file.
#ifndef H_FS
#define H_FS
#ifdef __cplusplus
extern "C" {
#endif
void rpmFreeFilesystems(void)
/*@globals internalState@*/
/*@modifies internalState@*/;
/*@-incondefs@*/
int rpmGetFilesystemList( /*@null@*/ /*@out@*/ const char *** listptr,
/*@null@*/ /*@out@*/ rpmuint32_t * num)
/*@globals h_errno, fileSystem, internalState @*/
/*@modifies *listptr, *num, fileSystem, internalState @*/
/*@requires maxSet(listptr) >= 0 /\ maxSet(num) >= 0 @*/;
/*@=incondefs@*/
/*@-incondefs@*/
int rpmGetFilesystemUsage(const char ** fileList, rpmuint32_t * fssizes,
int numFiles, /*@null@*/ /*@out@*/ rpmuint64_t ** usagesPtr,
int flags)
/*@globals rpmGlobalMacroContext, h_errno,
fileSystem, internalState @*/
/*@modifies *usagesPtr, rpmGlobalMacroContext,
fileSystem, internalState @*/
/*@requires maxSet(fileList) >= 0 /\ maxSet(fssizes) == 0
/\ maxSet(usagesPtr) >= 0 @*/;
/*@=incondefs@*/
#ifdef __cplusplus
}
#endif
#endif /* H_FS */