WebSVN – HelenOS – Diff – /branches/tracing/kernel/arch/arm32/include/mm/page.h



#define SET_FRAME_ADDRESS_ARCH(ptl3, i, a) \
    (((pte_level1_t *) (ptl3))[(i)].frame_base_addr = (a) >> 12)
 
/* Get PTE flags accessors for each level. */
#define GET_PTL1_FLAGS_ARCH(ptl0, i) \
    get_pt_level0_flags((pte_level0_t *) (ptl0), (size_t) (i))
#define GET_PTL2_FLAGS_ARCH(ptl1, i) \
    PAGE_PRESENT
#define GET_PTL3_FLAGS_ARCH(ptl2, i) \
    PAGE_PRESENT
#define GET_FRAME_FLAGS_ARCH(ptl3, i) \
    get_pt_level1_flags((pte_level1_t *) (ptl3), (size_t) (i))
 
/* Set PTE flags accessors for each level. */
#define SET_PTL1_FLAGS_ARCH(ptl0, i, x) \
    set_pt_level0_flags((pte_level0_t *) (ptl0), (size_t) (i), (x))
#define SET_PTL2_FLAGS_ARCH(ptl1, i, x)
#define SET_PTL3_FLAGS_ARCH(ptl2, i, x)
#define SET_FRAME_FLAGS_ARCH(ptl3, i, x) \
    set_pt_level1_flags((pte_level1_t *) (ptl3), (size_t) (i), (x))
 
/* Macros for querying the last-level PTE entries. */
#define PTE_VALID_ARCH(pte) \
    (*((uint32_t *) (pte)) != 0)
#define PTE_PRESENT_ARCH(pte) \

/** Returns level 0 page table entry flags.
 *
 *  @param pt     Level 0 page table.
 *  @param i      Index of the entry to return.
 */
static inline int get_pt_level0_flags(pte_level0_t *pt, size_t i)
{
    pte_level0_t *p = &pt[i];
    int np = (p->descriptor_type == PTE_DESCRIPTOR_NOT_PRESENT);
 
    return (np << PAGE_PRESENT_SHIFT) | (1 << PAGE_USER_SHIFT) |

/** Returns level 1 page table entry flags.
 *
 *  @param pt     Level 1 page table.
 *  @param i      Index of the entry to return.
 */
static inline int get_pt_level1_flags(pte_level1_t *pt, size_t i)
{
    pte_level1_t *p = &pt[i];
 
    int dt = p->descriptor_type;
    int ap = p->access_permission_0;

 *
 *  @param pt     level 0 page table
 *  @param i      index of the entry to be changed
 *  @param flags  new flags
 */
static inline void set_pt_level0_flags(pte_level0_t *pt, size_t i, int flags)
{
    pte_level0_t *p = &pt[i];
 
    if (flags & PAGE_NOT_PRESENT) {
        p->descriptor_type = PTE_DESCRIPTOR_NOT_PRESENT;

 *
 *  @param pt     Level 1 page table.
 *  @param i      Index of the entry to be changed.
 *  @param flags  New flags.
 */  
static inline void set_pt_level1_flags(pte_level1_t *pt, size_t i, int flags)
{
    pte_level1_t *p = &pt[i];
   
    if (flags & PAGE_NOT_PRESENT) {
        p->descriptor_type = PTE_DESCRIPTOR_NOT_PRESENT;

Subversion Repositories HelenOS

(root)/branches/tracing/kernel/arch/arm32/include/mm/page.h – Rev 4377 → 4692

Rev 4377		Rev 4692
Line 92...		Line 92...
92	#define SET_FRAME_ADDRESS_ARCH(ptl3, i, a) \	92	#define SET_FRAME_ADDRESS_ARCH(ptl3, i, a) \
93	(((pte_level1_t *) (ptl3))[(i)].frame_base_addr = (a) >> 12)	93	(((pte_level1_t *) (ptl3))[(i)].frame_base_addr = (a) >> 12)
94		94
95	/* Get PTE flags accessors for each level. */	95	/* Get PTE flags accessors for each level. */
96	#define GET_PTL1_FLAGS_ARCH(ptl0, i) \	96	#define GET_PTL1_FLAGS_ARCH(ptl0, i) \
97	get_pt_level0_flags((pte_level0_t *) (ptl0), (index_t) (i))	97	get_pt_level0_flags((pte_level0_t *) (ptl0), (size_t) (i))
98	#define GET_PTL2_FLAGS_ARCH(ptl1, i) \	98	#define GET_PTL2_FLAGS_ARCH(ptl1, i) \
99	PAGE_PRESENT	99	PAGE_PRESENT
100	#define GET_PTL3_FLAGS_ARCH(ptl2, i) \	100	#define GET_PTL3_FLAGS_ARCH(ptl2, i) \
101	PAGE_PRESENT	101	PAGE_PRESENT
102	#define GET_FRAME_FLAGS_ARCH(ptl3, i) \	102	#define GET_FRAME_FLAGS_ARCH(ptl3, i) \
103	get_pt_level1_flags((pte_level1_t *) (ptl3), (index_t) (i))	103	get_pt_level1_flags((pte_level1_t *) (ptl3), (size_t) (i))
104		104
105	/* Set PTE flags accessors for each level. */	105	/* Set PTE flags accessors for each level. */
106	#define SET_PTL1_FLAGS_ARCH(ptl0, i, x) \	106	#define SET_PTL1_FLAGS_ARCH(ptl0, i, x) \
107	set_pt_level0_flags((pte_level0_t *) (ptl0), (index_t) (i), (x))	107	set_pt_level0_flags((pte_level0_t *) (ptl0), (size_t) (i), (x))
108	#define SET_PTL2_FLAGS_ARCH(ptl1, i, x)	108	#define SET_PTL2_FLAGS_ARCH(ptl1, i, x)
109	#define SET_PTL3_FLAGS_ARCH(ptl2, i, x)	109	#define SET_PTL3_FLAGS_ARCH(ptl2, i, x)
110	#define SET_FRAME_FLAGS_ARCH(ptl3, i, x) \	110	#define SET_FRAME_FLAGS_ARCH(ptl3, i, x) \
111	set_pt_level1_flags((pte_level1_t *) (ptl3), (index_t) (i), (x))	111	set_pt_level1_flags((pte_level1_t *) (ptl3), (size_t) (i), (x))
112		112
113	/* Macros for querying the last-level PTE entries. */	113	/* Macros for querying the last-level PTE entries. */
114	#define PTE_VALID_ARCH(pte) \	114	#define PTE_VALID_ARCH(pte) \
115	(((uint32_t ) (pte)) != 0)	115	(((uint32_t ) (pte)) != 0)
116	#define PTE_PRESENT_ARCH(pte) \	116	#define PTE_PRESENT_ARCH(pte) \
Line 202...		Line 202...
202	/** Returns level 0 page table entry flags.	202	/** Returns level 0 page table entry flags.
203	*	203	*
204	* @param pt Level 0 page table.	204	* @param pt Level 0 page table.
205	* @param i Index of the entry to return.	205	* @param i Index of the entry to return.
206	*/	206	*/
207	static inline int get_pt_level0_flags(pte_level0_t *pt, index_t i)	207	static inline int get_pt_level0_flags(pte_level0_t *pt, size_t i)
208	{	208	{
209	pte_level0_t *p = &pt[i];	209	pte_level0_t *p = &pt[i];
210	int np = (p->descriptor_type == PTE_DESCRIPTOR_NOT_PRESENT);	210	int np = (p->descriptor_type == PTE_DESCRIPTOR_NOT_PRESENT);
211		211
212	return (np << PAGE_PRESENT_SHIFT) \| (1 << PAGE_USER_SHIFT) \|	212	return (np << PAGE_PRESENT_SHIFT) \| (1 << PAGE_USER_SHIFT) \|
Line 217...		Line 217...
217	/** Returns level 1 page table entry flags.	217	/** Returns level 1 page table entry flags.
218	*	218	*
219	* @param pt Level 1 page table.	219	* @param pt Level 1 page table.
220	* @param i Index of the entry to return.	220	* @param i Index of the entry to return.
221	*/	221	*/
222	static inline int get_pt_level1_flags(pte_level1_t *pt, index_t i)	222	static inline int get_pt_level1_flags(pte_level1_t *pt, size_t i)
223	{	223	{
224	pte_level1_t *p = &pt[i];	224	pte_level1_t *p = &pt[i];
225		225
226	int dt = p->descriptor_type;	226	int dt = p->descriptor_type;
227	int ap = p->access_permission_0;	227	int ap = p->access_permission_0;
Line 242...		Line 242...
242	*	242	*
243	* @param pt level 0 page table	243	* @param pt level 0 page table
244	* @param i index of the entry to be changed	244	* @param i index of the entry to be changed
245	* @param flags new flags	245	* @param flags new flags
246	*/	246	*/
247	static inline void set_pt_level0_flags(pte_level0_t *pt, index_t i, int flags)	247	static inline void set_pt_level0_flags(pte_level0_t *pt, size_t i, int flags)
248	{	248	{
249	pte_level0_t *p = &pt[i];	249	pte_level0_t *p = &pt[i];
250		250
251	if (flags & PAGE_NOT_PRESENT) {	251	if (flags & PAGE_NOT_PRESENT) {
252	p->descriptor_type = PTE_DESCRIPTOR_NOT_PRESENT;	252	p->descriptor_type = PTE_DESCRIPTOR_NOT_PRESENT;
Line 270...		Line 270...
270	*	270	*
271	* @param pt Level 1 page table.	271	* @param pt Level 1 page table.
272	* @param i Index of the entry to be changed.	272	* @param i Index of the entry to be changed.
273	* @param flags New flags.	273	* @param flags New flags.
274	*/	274	*/
275	static inline void set_pt_level1_flags(pte_level1_t *pt, index_t i, int flags)	275	static inline void set_pt_level1_flags(pte_level1_t *pt, size_t i, int flags)
276	{	276	{
277	pte_level1_t *p = &pt[i];	277	pte_level1_t *p = &pt[i];
278		278
279	if (flags & PAGE_NOT_PRESENT) {	279	if (flags & PAGE_NOT_PRESENT) {
280	p->descriptor_type = PTE_DESCRIPTOR_NOT_PRESENT;	280	p->descriptor_type = PTE_DESCRIPTOR_NOT_PRESENT;