Rev 2089 | Rev 2233 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2089 | Rev 2106 | ||
|---|---|---|---|
| Line 199... | Line 199... | ||
| 199 | } |
199 | } |
| 200 | else { |
200 | else { |
| 201 | /* We are going to use malloc, which may return |
201 | /* We are going to use malloc, which may return |
| 202 | * non boot-mapped pointer, initialize the CR3 register |
202 | * non boot-mapped pointer, initialize the CR3 register |
| 203 | * ahead of page_init */ |
203 | * ahead of page_init */ |
| 204 | write_cr3((uintptr_t) AS_KERNEL->page_table); |
204 | write_cr3((uintptr_t) AS_KERNEL->genarch.page_table); |
| 205 | 205 | ||
| 206 | tss_p = (struct tss *) malloc(sizeof(tss_t), FRAME_ATOMIC); |
206 | tss_p = (struct tss *) malloc(sizeof(tss_t), FRAME_ATOMIC); |
| 207 | if (!tss_p) |
207 | if (!tss_p) |
| 208 | panic("could not allocate TSS\n"); |
208 | panic("could not allocate TSS\n"); |
| 209 | } |
209 | } |