Changeset 80bcaed in mainline for kernel/arch/ia32xen/src/mm/page.c
- Timestamp:
- 2007-02-03T13:22:24Z (18 years ago)
- Branches:
- lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
- Children:
- f619ec11
- Parents:
- fa8e7d2
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/arch/ia32xen/src/mm/page.c
rfa8e7d2 r80bcaed 54 54 if (config.cpu_active == 1) { 55 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 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
Note:
See TracChangeset
for help on using the changeset viewer.