Searched refs:FTL_ATTRIBUTE (Results 1 – 3 of 3) 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))
37 void foo() FTL_ATTRIBUTE(requires_shared_capability(mutex)) { num++; } in TEST()38 void bar() FTL_ATTRIBUTE(requires_capability(mutex)) { num++; } in TEST()
29 int x FTL_ATTRIBUTE(guarded_by(mutex)) = -1; in TEST()