blob: 61237b83da2ed196b3382ffd78a19d93cf2807ac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#ifndef UTIL_MUTEX_H
#define UTIL_MUTEX_H
#define NULL_PID 0
#define CORE0_PID 1
#define CORE1_PID 2
#define CORE2_PID 3
#define CORE3_PID 4
#define FIRST_AVAIL_PID CORE3_PID+1
// PID field is first so that it can be treated
// as a lock
struct Mutex {
unsigned long pid;
void* addr;
} __attribute__((packed, aligned(4)));
struct Mutex* create_mutex(void* addr);
#endif
|
