diff options
| author | Alex Auvolat <alex.auvolat@ens.fr> | 2014-12-07 11:24:06 +0100 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ens.fr> | 2014-12-07 11:24:06 +0100 |
| commit | 26b68c108664cb54089613bdbc54624ed66f7fda (patch) | |
| tree | cafbab0b0c9c1db1869e4346cebc96b2d6f53570 /kernel/include/region.h | |
| parent | acc786cb5805d057932ada3e7c571bb8e901cd67 (diff) | |
| download | kogata-26b68c108664cb54089613bdbc54624ed66f7fda.tar.gz kogata-26b68c108664cb54089613bdbc54624ed66f7fda.zip | |
Make L0 thread-safe (mostly).
Diffstat (limited to 'kernel/include/region.h')
| -rw-r--r-- | kernel/include/region.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/include/region.h b/kernel/include/region.h index 5f44626..ac68047 100644 --- a/kernel/include/region.h +++ b/kernel/include/region.h @@ -2,6 +2,8 @@ // Kernel virtual memory region allocator +// This is entirely thread-safe + #include <sys.h> #include <paging.h> |