Rev 756 | Rev 762 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 756 | Rev 757 | ||
---|---|---|---|
Line 54... | Line 54... | ||
54 | #include <arch.h> |
54 | #include <arch.h> |
55 | #include <print.h> |
55 | #include <print.h> |
56 | 56 | ||
57 | as_operations_t *as_operations = NULL; |
57 | as_operations_t *as_operations = NULL; |
58 | 58 | ||
- | 59 | /** Kernel address space. */ |
|
- | 60 | as_t *AS_KERNEL = NULL; |
|
- | 61 | ||
59 | static int get_area_flags(as_area_t *a); |
62 | static int get_area_flags(as_area_t *a); |
60 | 63 | ||
61 | /** Initialize address space subsystem. */ |
64 | /** Initialize address space subsystem. */ |
62 | void as_init(void) |
65 | void as_init(void) |
63 | { |
66 | { |
Line 65... | Line 68... | ||
65 | AS_KERNEL = as_create(FLAG_AS_KERNEL); |
68 | AS_KERNEL = as_create(FLAG_AS_KERNEL); |
66 | if (!AS_KERNEL) |
69 | if (!AS_KERNEL) |
67 | panic("can't create kernel address space\n"); |
70 | panic("can't create kernel address space\n"); |
68 | } |
71 | } |
69 | 72 | ||
70 | /** Create address space. */ |
73 | /** Create address space. |
- | 74 | * |
|
- | 75 | * @param flags Flags that influence way in wich the address space is created. |
|
- | 76 | */ |
|
71 | as_t *as_create(int flags) |
77 | as_t *as_create(int flags) |
72 | { |
78 | { |
73 | as_t *as; |
79 | as_t *as; |
74 | 80 | ||
75 | as = (as_t *) malloc(sizeof(as_t)); |
81 | as = (as_t *) malloc(sizeof(as_t)); |