| @@ -468,16 +468,18 @@ typedef int __attribute__((capability("m | | | @@ -468,16 +468,18 @@ typedef int __attribute__((capability("m |
| 468 | | | 468 | |
| 469 | typedef int lock_cap_t; | | 469 | typedef int lock_cap_t; |
| 470 | | | 470 | |
| 471 | #define guarded_by(l) | | 471 | #define guarded_by(l) |
| 472 | #define acquire_cap(l) | | 472 | #define acquire_cap(l) |
| 473 | #define release_cap(l) | | 473 | #define release_cap(l) |
| 474 | #define assert_cap(l) | | 474 | #define assert_cap(l) |
| 475 | #define requires_cap(l) | | 475 | #define requires_cap(l) |
| 476 | #define disable_thread_safety_analysis | | 476 | #define disable_thread_safety_analysis |
| 477 | | | 477 | |
| 478 | #endif | | 478 | #endif |
| 479 | | | 479 | |
| 480 | /* TODO: this could be different on non-x86 architectures. */ | | 480 | /* TODO: this could be different on non-x86 architectures. */ |
| | | 481 | #ifndef CACHE_LINE_SIZE |
| 481 | #define CACHE_LINE_SIZE 64 | | 482 | #define CACHE_LINE_SIZE 64 |
| | | 483 | #endif |
| 482 | | | 484 | |
| 483 | #endif /* UTIL_MACROS_H */ | | 485 | #endif /* UTIL_MACROS_H */ |