blob: c36566fb3ef81bf83552a64e210af29f6a1e0a83 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#ifndef RPMLOCK_H
#define RPMLOCK_H
/*@only@*/ /*@null@*/
void * rpmtsAcquireLock(rpmts ts)
/*@globals fileSystem, internalState @*/
/*@modifies fileSystem, internalState @*/;
void rpmtsFreeLock(/*@only@*/ /*@null@*/ void *lock)
/*@globals fileSystem, internalState @*/
/*@modifies lock, fileSystem, internalState @*/;
#endif
|
