Rev 1380 | Rev 1387 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1380 | Rev 1383 | ||
---|---|---|---|
Line 95... | Line 95... | ||
95 | /** Initialize address space subsystem. */ |
95 | /** Initialize address space subsystem. */ |
96 | void as_init(void) |
96 | void as_init(void) |
97 | { |
97 | { |
98 | as_arch_init(); |
98 | as_arch_init(); |
99 | AS_KERNEL = as_create(FLAG_AS_KERNEL); |
99 | AS_KERNEL = as_create(FLAG_AS_KERNEL); |
100 | if (!AS_KERNEL) |
100 | if (!AS_KERNEL) |
101 | panic("can't create kernel address space\n"); |
101 | panic("can't create kernel address space\n"); |
- | 102 | ||
102 | } |
103 | } |
103 | 104 | ||
104 | /** Create address space. |
105 | /** Create address space. |
105 | * |
106 | * |
106 | * @param flags Flags that influence way in wich the address space is created. |
107 | * @param flags Flags that influence way in wich the address space is created. |