Rev 778 | Rev 789 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 778 | Rev 788 | ||
---|---|---|---|
Line 33... | Line 33... | ||
33 | #include <arch/mm/as.h> |
33 | #include <arch/mm/as.h> |
34 | #include <arch/mm/asid.h> |
34 | #include <arch/mm/asid.h> |
35 | #include <arch/types.h> |
35 | #include <arch/types.h> |
36 | #include <typedefs.h> |
36 | #include <typedefs.h> |
37 | #include <synch/spinlock.h> |
37 | #include <synch/spinlock.h> |
38 | #include <list.h> |
38 | #include <adt/list.h> |
39 | 39 | ||
40 | #define KERNEL_ADDRESS_SPACE_START KERNEL_ADDRESS_SPACE_START_ARCH |
40 | #define KERNEL_ADDRESS_SPACE_START KERNEL_ADDRESS_SPACE_START_ARCH |
41 | #define KERNEL_ADDRESS_SPACE_END KERNEL_ADDRESS_SPACE_END_ARCH |
41 | #define KERNEL_ADDRESS_SPACE_END KERNEL_ADDRESS_SPACE_END_ARCH |
42 | #define USER_ADDRESS_SPACE_START USER_ADDRESS_SPACE_START_ARCH |
42 | #define USER_ADDRESS_SPACE_START USER_ADDRESS_SPACE_START_ARCH |
43 | #define USER_ADDRESS_SPACE_END USER_ADDRESS_SPACE_END_ARCH |
43 | #define USER_ADDRESS_SPACE_END USER_ADDRESS_SPACE_END_ARCH |