|
@@ -209,7 +209,7 @@ static inline void set_pte(pte_t *ptep, pte_t pteval)
|
|
static inline void set_pte_at(struct mm_struct *mm, unsigned long addr,
|
|
static inline void set_pte_at(struct mm_struct *mm, unsigned long addr,
|
|
pte_t *ptep, pte_t pteval)
|
|
pte_t *ptep, pte_t pteval)
|
|
{
|
|
{
|
|
- unsigned long paddr = page_to_virt(pte_page(pteval));
|
|
|
|
|
|
+ unsigned long paddr = (unsigned long)page_to_virt(pte_page(pteval));
|
|
|
|
|
|
flush_dcache_range(paddr, paddr + PAGE_SIZE);
|
|
flush_dcache_range(paddr, paddr + PAGE_SIZE);
|
|
set_pte(ptep, pteval);
|
|
set_pte(ptep, pteval);
|