coverity-model.c

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__();
}