litmus-rt-ext-res.git - LITMUS^RT with extended reservations for Forbidden Zones paper @ RTAS'20

diff options

Diffstat (limited to 'include/linux/verification.h')

0 files changed, 0 insertions, 0 deletions

#define __BTREE_TP(pfx, type, sfx) pfx ## type ## sfx #define _BTREE_TP(pfx, type, sfx) __BTREE_TP(pfx, type, sfx) #define BTREE_TP(pfx) _BTREE_TP(pfx, BTREE_TYPE_SUFFIX,) #define BTREE_FN(name) BTREE_TP(btree_ ## name) #define BTREE_TYPE_HEAD BTREE_TP(struct btree_head) #define VISITOR_FN BTREE_TP(visitor) #define VISITOR_FN_T _BTREE_TP(visitor, BTREE_TYPE_SUFFIX, _t) BTREE_TYPE_HEAD { struct btree_head h; }; static inline void BTREE_FN(init_mempool)(BTREE_TYPE_HEAD *head, mempool_t *mempool) { btree_init_mempool(&head->h, mempool); } static inline int BTREE_FN(init)(BTREE_TYPE_HEAD *head) { return btree_init(&head->h); } static inline void BTREE_FN(destroy)(BTREE_TYPE_HEAD *head) { btree_destroy(&head->h); } static inline int BTREE_FN(merge)(BTREE_TYPE_HEAD *target, BTREE_TYPE_HEAD *victim, gfp_t gfp) { return btree_merge(&target->h, &victim->h, BTREE_TYPE_GEO, gfp); } #if (BITS_PER_LONG > BTREE_TYPE_BITS) static inline void *BTREE_FN(lookup)(BTREE_TYPE_HEAD *head, BTREE_KEYTYPE key) { unsigned long _key = key; return btree_lookup(&head->h, BTREE_TYPE_GEO, &_key); } static inline int BTREE_FN(insert)(BTREE_TYPE_HEAD *head, BTREE_KEYTYPE key, void *val, gfp_t gfp) { unsigned long _key = key; return btree_insert(&head->h, BTREE_TYPE_GEO, &_key, val, gfp); } static inline int BTREE_FN(update)(BTREE_TYPE_HEAD *head, BTREE_KEYTYPE key, void *val) { unsigned long _key = key; return btree_update(&head->h, BTREE_TYPE_GEO, &_key, val); } static inline void *BTREE_FN(remove)(BTREE_TYPE_HEAD *head, BTREE_KEYTYPE key) { unsigned long _key = key; return btree_remove(&head->h, BTREE_TYPE_GEO, &_key); } static inline void *BTREE_FN(last)(BTREE_TYPE_HEAD *head, BTREE_KEYTYPE *key) { unsigned long _key;


context:
space:
mode: