Rev 2071 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2071 | Rev 2106 | ||
---|---|---|---|
Line 51... | Line 51... | ||
51 | 51 | ||
52 | void page_arch_init(void) |
52 | void page_arch_init(void) |
53 | { |
53 | { |
54 | if (config.cpu_active == 1) { |
54 | if (config.cpu_active == 1) { |
55 | page_mapping_operations = &pt_mapping_operations; |
55 | page_mapping_operations = &pt_mapping_operations; |
56 | AS_KERNEL->page_table = (pte_t *) KA2PA(start_info.ptl0); |
56 | AS_KERNEL->genarch.page_table = (pte_t *) KA2PA(start_info.ptl0); |
57 | } else |
57 | } else |
58 | SET_PTL0_ADDRESS_ARCH(AS_KERNEL->page_table); |
58 | SET_PTL0_ADDRESS_ARCH(AS_KERNEL->genarch.page_table); |
59 | } |
59 | } |
60 | 60 | ||
61 | void page_fault(int n, istate_t *istate) |
61 | void page_fault(int n, istate_t *istate) |
62 | { |
62 | { |
63 | uintptr_t page; |
63 | uintptr_t page; |