Rev 2697 | Rev 3790 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2697 | Rev 2745 | ||
|---|---|---|---|
| Line 80... | Line 80... | ||
| 80 | 80 | ||
| 81 | 81 | ||
| 82 | void page_arch_init(void) |
82 | void page_arch_init(void) |
| 83 | { |
83 | { |
| 84 | uintptr_t cur; |
84 | uintptr_t cur; |
| 85 | int i; |
85 | unsigned int i; |
| 86 | int identity_flags = PAGE_CACHEABLE | PAGE_EXEC | PAGE_GLOBAL | PAGE_WRITE; |
86 | int identity_flags = PAGE_CACHEABLE | PAGE_EXEC | PAGE_GLOBAL | PAGE_WRITE; |
| 87 | 87 | ||
| 88 | if (config.cpu_active == 1) { |
88 | if (config.cpu_active == 1) { |
| 89 | page_mapping_operations = &pt_mapping_operations; |
89 | page_mapping_operations = &pt_mapping_operations; |
| 90 | 90 | ||