blob: 8ab3235d8d262a3a1e6573af5b1651c7f6321390 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
#ifndef UTIL_MUTEX_H
#define UTIL_MUTEX_H
#include <lib/queue.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
#define MAX_MUTEXS 0x100
// 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 MutexManager {
struct Queue free;
struct Queue used;
};
void mutex_init(void);
struct Mutex* create_mutex(void* addr);
unsigned char delete_mutex(struct Mutex* m);
#endif
|
