Rev 2697 | 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 |