Changeset 80bcaed in mainline for kernel/genarch/src/mm/page_pt.c


Ignore:
Timestamp:
2007-02-03T13:22:24Z (17 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
f619ec11
Parents:
fa8e7d2
Message:

Merge as_t structure into one and leave the differring parts in as_genarch_t.

Indentation and formatting changes in header files.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/genarch/src/mm/page_pt.c

    rfa8e7d2 r80bcaed  
    7373        pte_t *newpt;
    7474
    75         ptl0 = (pte_t *) PA2KA((uintptr_t) as->page_table);
     75        ptl0 = (pte_t *) PA2KA((uintptr_t) as->genarch.page_table);
    7676
    7777        if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT) {
    … …  
    129129         */
    130130
    131         ptl0 = (pte_t *) PA2KA((uintptr_t) as->page_table);
     131        ptl0 = (pte_t *) PA2KA((uintptr_t) as->genarch.page_table);
    132132
    133133        if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT)
    … …  
    245245        pte_t *ptl0, *ptl1, *ptl2, *ptl3;
    246246
    247         ptl0 = (pte_t *) PA2KA((uintptr_t) as->page_table);
     247        ptl0 = (pte_t *) PA2KA((uintptr_t) as->genarch.page_table);
    248248
    249249        if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT)
Note: See TracChangeset for help on using the changeset viewer.