Added locking to id pool allocation and free.

This commit is contained in:
Bahadir Balban
2008-02-09 14:30:03 +00:00
parent ba0e3ada21
commit cc23568629
2 changed files with 20 additions and 4 deletions

View File

@@ -2,8 +2,10 @@
#define __IDPOOL_H__
#include <l4/lib/bit.h>
#include <l4/lib/spinlock.h>
struct id_pool {
struct spinlock lock;
int nwords;
u32 bitmap[];
};