Rev 826 | Rev 1221 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 826 | Rev 1044 | ||
---|---|---|---|
Line 74... | Line 74... | ||
74 | /** Insert mapping of page to frame. |
74 | /** Insert mapping of page to frame. |
75 | * |
75 | * |
76 | * Map virtual address 'page' to physical address 'frame' |
76 | * Map virtual address 'page' to physical address 'frame' |
77 | * using 'flags'. Allocate and setup any missing page tables. |
77 | * using 'flags'. Allocate and setup any missing page tables. |
78 | * |
78 | * |
79 | * The address space must be locked and interrupts must be disabled. |
79 | * The page table must be locked and interrupts must be disabled. |
80 | * |
80 | * |
81 | * @param as Address space to wich page belongs. |
81 | * @param as Address space to wich page belongs. |
82 | * @param page Virtual address of the page to be mapped. |
82 | * @param page Virtual address of the page to be mapped. |
83 | * @param frame Physical address of memory frame to which the mapping is done. |
83 | * @param frame Physical address of memory frame to which the mapping is done. |
84 | * @param flags Flags to be used for mapping. |
84 | * @param flags Flags to be used for mapping. |
Line 95... | Line 95... | ||
95 | * |
95 | * |
96 | * Remove any mapping of 'page' within address space 'as'. |
96 | * Remove any mapping of 'page' within address space 'as'. |
97 | * TLB shootdown should follow in order to make effects of |
97 | * TLB shootdown should follow in order to make effects of |
98 | * this call visible. |
98 | * this call visible. |
99 | * |
99 | * |
100 | * The address space must be locked and interrupts must be disabled. |
100 | * The page table must be locked and interrupts must be disabled. |
101 | * |
101 | * |
102 | * @param as Address space to wich page belongs. |
102 | * @param as Address space to wich page belongs. |
103 | * @param page Virtual address of the page to be demapped. |
103 | * @param page Virtual address of the page to be demapped. |
104 | */ |
104 | */ |
105 | void page_mapping_remove(as_t *as, __address page) |
105 | void page_mapping_remove(as_t *as, __address page) |
Line 112... | Line 112... | ||
112 | 112 | ||
113 | /** Find mapping for virtual page |
113 | /** Find mapping for virtual page |
114 | * |
114 | * |
115 | * Find mapping for virtual page. |
115 | * Find mapping for virtual page. |
116 | * |
116 | * |
117 | * The address space must be locked and interrupts must be disabled. |
117 | * The page table must be locked and interrupts must be disabled. |
118 | * |
118 | * |
119 | * @param as Address space to wich page belongs. |
119 | * @param as Address space to wich page belongs. |
120 | * @param page Virtual page. |
120 | * @param page Virtual page. |
121 | * |
121 | * |
122 | * @return NULL if there is no such mapping; requested mapping otherwise. |
122 | * @return NULL if there is no such mapping; requested mapping otherwise. |