diff options
| author | Zheng Da <zhengda1936@gmail.com> | 2009-12-03 16:39:07 +0100 |
|---|---|---|
| committer | Zheng Da <zhengda1936@gmail.com> | 2009-12-03 16:39:07 +0100 |
| commit | 09b6164c0b107cae65a48c2e070c83a4da676bec (patch) | |
| tree | 207c3b1e5141d65b488ffb2dabb9523f78c21251 /libddekit/include/ddekit | |
| parent | 41a14fbb798e85fcb26b1a95ea72daeda9ec2004 (diff) | |
Implement physical <--> virtual address mapping.
Diffstat (limited to 'libddekit/include/ddekit')
| -rw-r--r-- | libddekit/include/ddekit/pgtab.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libddekit/include/ddekit/pgtab.h b/libddekit/include/ddekit/pgtab.h index 3b68192c..8964b713 100644 --- a/libddekit/include/ddekit/pgtab.h +++ b/libddekit/include/ddekit/pgtab.h @@ -8,7 +8,7 @@ #ifndef _ddekit_pgtab_h #define _ddekit_pgtab_h -#include <l4/dde/ddekit/types.h> +#include "ddekit/types.h" /* FIXME Region types may be defined by pgtab users. Do we really need them * here? */ |