/branches/arm/kernel/arch/arm32/include/mm/page.h |
---|
99,7 → 99,7 |
* \param pt pointer to page table to set |
*/ |
static inline void set_ptl0_addr( pte_level0_t* pt){ |
asm volatile ( "mrc p15, 0, %0, c2, c0, 0 \n" |
asm volatile ( "mcr p15, 0, %0, c2, c0, 0 \n" |
: |
: "r"(pt) |
); |