Subversion Repositories HelenOS-historic

Rev

Rev 1063 | Rev 1212 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 1063 Rev 1064
Line 83... Line 83...
83 
        /*
 83 
        /*
84 
         * PA2KA(identity) mapping for all frames.
 84 
         * PA2KA(identity) mapping for all frames.
85 
         */
 85 
         */
86 
        for (cur = 0; cur < last_frame; cur += FRAME_SIZE) {
 86 
        for (cur = 0; cur < last_frame; cur += FRAME_SIZE) {
87 
            /* Standard identity mapping */
 87 
            /* Standard identity mapping */
88 
            page_mapping_insert(AS_KERNEL, PA2KA_IDENT(cur), cur, identity_flags);
 88 
            page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, identity_flags);
89 
        }
 89 
        }
90 
        /* Upper kernel mapping
 90 
        /* Upper kernel mapping
91 
         * - from zero to top of kernel (include bottom addresses
 91 
         * - from zero to top of kernel (include bottom addresses
92 
         *   because some are needed for init )
 92 
         *   because some are needed for init )
93 
         */
 93 
         */
Line 126... Line 126...
126 
        aptl_1 = PTL1_ADDR(&ptl_0, oldpage);
 126 
        aptl_1 = PTL1_ADDR(&ptl_0, oldpage);
127 
        aptl_2 = PTL2_ADDR(aptl_1, oldpage);
 127 
        aptl_2 = PTL2_ADDR(aptl_1, oldpage);
128 
        aptl_3 = PTL3_ADDR(aptl_2, oldpage);
 128 
        aptl_3 = PTL3_ADDR(aptl_2, oldpage);
129 
 
 129 
 
130 
        SET_FRAME_FLAGS_ARCH(aptl_3, PTL3_INDEX_ARCH(oldpage), PAGE_NOT_PRESENT);
 130 
        SET_FRAME_FLAGS_ARCH(aptl_3, PTL3_INDEX_ARCH(oldpage), PAGE_NOT_PRESENT);
131 
        if (aptl_3 == helper_ptl3)
 131 
        if (KA2PA(aptl_3) == KA2PA(helper_ptl3))
132 
            SET_PTL3_FLAGS_ARCH(aptl_2, PTL2_INDEX_ARCH(oldpage), PAGE_NOT_PRESENT);
 132 
            SET_PTL3_FLAGS_ARCH(aptl_2, PTL2_INDEX_ARCH(oldpage), PAGE_NOT_PRESENT);
133 
        if (aptl_2 == helper_ptl2)
 133 
        if (KA2PA(aptl_2) == KA2PA(helper_ptl2))
134 
            SET_PTL2_FLAGS_ARCH(aptl_1, PTL1_INDEX_ARCH(oldpage), PAGE_NOT_PRESENT);
 134 
            SET_PTL2_FLAGS_ARCH(aptl_1, PTL1_INDEX_ARCH(oldpage), PAGE_NOT_PRESENT);
135 
        if (aptl_1 == helper_ptl1)
 135 
        if (KA2PA(aptl_1) == KA2PA(helper_ptl1))
136 
            SET_PTL1_FLAGS_ARCH(&ptl_0, PTL0_INDEX_ARCH(oldpage), PAGE_NOT_PRESENT);
 136 
            SET_PTL1_FLAGS_ARCH(&ptl_0, PTL0_INDEX_ARCH(oldpage), PAGE_NOT_PRESENT);
137 
    }
 137 
    }
138 
    if (PTL1_PRESENT(&ptl_0, page))
 138 
    if (PTL1_PRESENT(&ptl_0, page))
139 
        aptl_1 = PTL1_ADDR(&ptl_0, page);
 139 
        aptl_1 = PTL1_ADDR(&ptl_0, page);
140 
    else {
 140 
    else {