aboutsummaryrefslogtreecommitdiff
path: root/coverity-model.c
blob: b11f3bff2cb9444938ce0cb8bb4b267001bd4439 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
void __attribute__((noreturn)) _abort(void) {
	__coverity_panic__();
}

void *__memalign(size_t blocksize, size_t bytes, const char *location) {
	__coverity_alloc__(bytes);
}

void mem_free(struct mem_region *region, void *mem, const char *location) {
	__coverity_free__(mem);
}

void lock(struct lock *l) {
	__coverity_exclusive_lock_acquire__(l);
}

void unlock(struct lock *l) {
	__coverity_exclusive_lock_release__(l);
}

static inline void cpu_relax(void) {
	__coverity_sleep__();
}