00001 #ifndef RPMLOCK_H 00002 #define RPMLOCK_H 00003 00004 /*@only@*/ /*@null@*/ 00005 void * rpmtsAcquireLock(rpmts ts) 00006 /*@globals fileSystem, internalState @*/ 00007 /*@modifies fileSystem, internalState @*/; 00008 void rpmtsFreeLock(/*@only@*/ /*@null@*/ void *lock) 00009 /*@globals fileSystem, internalState @*/ 00010 /*@modifies lock, fileSystem, internalState @*/; 00011 00012 #endif