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. |