File: coverity-model.c

package info (click to toggle)
skiboot 5.3.3-1
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 13,280 kB
  • ctags: 13,840
  • sloc: ansic: 77,199; asm: 1,002; sh: 997; cpp: 894; tcl: 408; makefile: 325; python: 166; pascal: 65
file content (23 lines) | stat: -rw-r--r-- 488 bytes parent folder | download
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__();
}