Rev 2182 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2182 | Rev 2199 | ||
---|---|---|---|
Line 97... | Line 97... | ||
97 | 97 | ||
98 | /** Set adress of paging level 0 table |
98 | /** Set adress of paging level 0 table |
99 | * \param pt pointer to page table to set |
99 | * \param pt pointer to page table to set |
100 | */ |
100 | */ |
101 | static inline void set_ptl0_addr( pte_level0_t* pt){ |
101 | static inline void set_ptl0_addr( pte_level0_t* pt){ |
102 | asm volatile ( "mrc p15, 0, %0, c2, c0, 0 \n" |
102 | asm volatile ( "mcr p15, 0, %0, c2, c0, 0 \n" |
103 | : |
103 | : |
104 | : "r"(pt) |
104 | : "r"(pt) |
105 | ); |
105 | ); |
106 | 106 | ||
107 | } |
107 | } |