Searched refs:FTL_ATTRIBUTE (Results 1 – 2 of 2) sorted by relevance
19 #define FTL_ATTRIBUTE(a) __attribute__((a)) macro61 explicit FakeGuard(const Mutex& mutex) FTL_ATTRIBUTE(acquire_capability(mutex)) {} in FakeGuard()75 FTL_ATTRIBUTE(acquire_capability(mutex)) \76 FTL_ATTRIBUTE(release_capability(mutex))
29 int x FTL_ATTRIBUTE(guarded_by(mutex)) = -1; in TEST()