WebSVN – HelenOS-historic – Diff – /kernel/trunk/genarch/src/mm/page_pt.c



/** Map page to frame using hierarchical page tables.
 *
 * Map virtual address 'page' to physical address 'frame'
 * using 'flags'.
 *
 * The page table must be locked and interrupts must be disabled.
 *
 * @param as Address space to wich page belongs.
 * @param page Virtual address of the page to be mapped.
 * @param frame Physical address of memory frame to which the mapping is done.
 * @param flags Flags to be used for mapping.

 * TLB shootdown should follow in order to make effects of
 * this call visible.
 *
 * Empty page tables except PTL0 are freed.
 *
 * The page table must be locked and interrupts must be disabled.
 *
 * @param as Address space to wich page belongs.
 * @param page Virtual address of the page to be demapped.
 */
void pt_mapping_remove(as_t *as, __address page)

 
/** Find mapping for virtual page in hierarchical page tables.
 *
 * Find mapping for virtual page.
 *
 * The page table must be locked and interrupts must be disabled.
 *
 * @param as Address space to which page belongs.
 * @param page Virtual page.
 *
 * @return NULL if there is no such mapping; entry from PTL3 describing the mapping otherwise.

Subversion Repositories HelenOS-historic

(root)/kernel/trunk/genarch/src/mm/page_pt.c – Rev 832 → 1044

Rev 832		Rev 1044
Line 50...		Line 50...
50	/** Map page to frame using hierarchical page tables.	50	/** Map page to frame using hierarchical page tables.
51	*	51	*
52	* Map virtual address 'page' to physical address 'frame'	52	* Map virtual address 'page' to physical address 'frame'
53	* using 'flags'.	53	* using 'flags'.
54	*	54	*
55	* The address space must be locked and interrupts must be disabled.	55	* The page table must be locked and interrupts must be disabled.
56	*	56	*
57	* @param as Address space to wich page belongs.	57	* @param as Address space to wich page belongs.
58	* @param page Virtual address of the page to be mapped.	58	* @param page Virtual address of the page to be mapped.
59	* @param frame Physical address of memory frame to which the mapping is done.	59	* @param frame Physical address of memory frame to which the mapping is done.
60	* @param flags Flags to be used for mapping.	60	* @param flags Flags to be used for mapping.
Line 103...		Line 103...
103	* TLB shootdown should follow in order to make effects of	103	* TLB shootdown should follow in order to make effects of
104	* this call visible.	104	* this call visible.
105	*	105	*
106	* Empty page tables except PTL0 are freed.	106	* Empty page tables except PTL0 are freed.
107	*	107	*
108	* The address space must be locked and interrupts must be disabled.	108	* The page table must be locked and interrupts must be disabled.
109	*	109	*
110	* @param as Address space to wich page belongs.	110	* @param as Address space to wich page belongs.
111	* @param page Virtual address of the page to be demapped.	111	* @param page Virtual address of the page to be demapped.
112	*/	112	*/
113	void pt_mapping_remove(as_t *as, __address page)	113	void pt_mapping_remove(as_t *as, __address page)
Line 223...		Line 223...
223		223
224	/** Find mapping for virtual page in hierarchical page tables.	224	/** Find mapping for virtual page in hierarchical page tables.
225	*	225	*
226	* Find mapping for virtual page.	226	* Find mapping for virtual page.
227	*	227	*
228	* The address space must be locked and interrupts must be disabled.	228	* The page table must be locked and interrupts must be disabled.
229	*	229	*
230	* @param as Address space to which page belongs.	230	* @param as Address space to which page belongs.
231	* @param page Virtual page.	231	* @param page Virtual page.
232	*	232	*
233	* @return NULL if there is no such mapping; entry from PTL3 describing the mapping otherwise.	233	* @return NULL if there is no such mapping; entry from PTL3 describing the mapping otherwise.