diff options
| author | Richard Braun <rbraun@sceen.net> | 2012-11-03 17:30:15 +0100 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2012-11-03 17:30:15 +0100 |
| commit | 27484e07cdd0be148743cb8e4acd99e96264eca9 (patch) | |
| tree | 3d32b0b274a879e5f814ff366b7d8bd6f2c973ba /vm/vm_map.h | |
| parent | 6b04aaae27ef9cc26487da1dd2acf75f3b49e3f5 (diff) | |
Merge lib into kern
There are no precise enough criteria to justify the separation of these
two directories.
Diffstat (limited to 'vm/vm_map.h')
| -rw-r--r-- | vm/vm_map.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/vm/vm_map.h b/vm/vm_map.h index 7231b6a..9759ff4 100644 --- a/vm/vm_map.h +++ b/vm/vm_map.h @@ -21,9 +21,9 @@ #ifndef _VM_VM_MAP_H #define _VM_VM_MAP_H -#include <lib/list.h> -#include <lib/rbtree.h> -#include <lib/stdint.h> +#include <kern/list.h> +#include <kern/rbtree.h> +#include <kern/stdint.h> #include <machine/pmap.h> /* |