|
@@ -67,11 +67,7 @@ static inline void pgd_free(struct mm_struct *mm, pgd_t *pgd)
|
|
static inline pte_t *pte_alloc_one_kernel(struct mm_struct *mm,
|
|
static inline pte_t *pte_alloc_one_kernel(struct mm_struct *mm,
|
|
unsigned long address)
|
|
unsigned long address)
|
|
{
|
|
{
|
|
- pte_t *pte;
|
|
|
|
-
|
|
|
|
- pte = (pte_t *) __get_free_pages(GFP_KERNEL|__GFP_ZERO, PTE_ORDER);
|
|
|
|
-
|
|
|
|
- return pte;
|
|
|
|
|
|
+ return (pte_t *)__get_free_pages(GFP_KERNEL | __GFP_ZERO, PTE_ORDER);
|
|
}
|
|
}
|
|
|
|
|
|
static inline struct page *pte_alloc_one(struct mm_struct *mm,
|
|
static inline struct page *pte_alloc_one(struct mm_struct *mm,
|