[deliverable/linux.git] / include / asm-arm / pgalloc.h

/*
 *  linux/include/asm-arm/pgalloc.h
 *
 *  Copyright (C) 2000-2001 Russell King
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License version 2 as
 * published by the Free Software Foundation.
 */
#ifndef _ASMARM_PGALLOC_H
#define _ASMARM_PGALLOC_H

#include <asm/domain.h>
#include <asm/pgtable-hwdef.h>
#include <asm/processor.h>
#include <asm/cacheflush.h>
#include <asm/tlbflush.h>

#define check_pgt_cache()		do { } while (0)

#ifdef CONFIG_MMU

#define _PAGE_USER_TABLE	(PMD_TYPE_TABLE | PMD_BIT4 | PMD_DOMAIN(DOMAIN_USER))
#define _PAGE_KERNEL_TABLE	(PMD_TYPE_TABLE | PMD_BIT4 | PMD_DOMAIN(DOMAIN_KERNEL))

/*
 * Since we have only two-level page tables, these are trivial
 */
#define pmd_alloc_one(mm,addr)		({ BUG(); ((pmd_t *)2); })
#define pmd_free(pmd)			do { } while (0)
#define pgd_populate(mm,pmd,pte)	BUG()

extern pgd_t *get_pgd_slow(struct mm_struct *mm);
extern void free_pgd_slow(pgd_t *pgd);

#define pgd_alloc(mm)			get_pgd_slow(mm)
#define pgd_free(pgd)			free_pgd_slow(pgd)

/*
 * Allocate one PTE table.
 *
 * This actually allocates two hardware PTE tables, but we wrap this up
 * into one table thus:
 *
 *  +------------+
 *  |  h/w pt 0  |
 *  +------------+
 *  |  h/w pt 1  |
 *  +------------+
 *  | Linux pt 0 |
 *  +------------+
 *  | Linux pt 1 |
 *  +------------+
 */
static inline pte_t *
pte_alloc_one_kernel(struct mm_struct *mm, unsigned long addr)
{
	pte_t *pte;

	pte = (pte_t *)__get_free_page(GFP_KERNEL|__GFP_REPEAT|__GFP_ZERO);
	if (pte) {
		clean_dcache_area(pte, sizeof(pte_t) * PTRS_PER_PTE);
		pte += PTRS_PER_PTE;
	}

	return pte;
}

static inline struct page *
pte_alloc_one(struct mm_struct *mm, unsigned long addr)
{
	struct page *pte;

	pte = alloc_pages(GFP_KERNEL|__GFP_REPEAT|__GFP_ZERO, 0);
	if (pte) {
		void *page = page_address(pte);
		clean_dcache_area(page, sizeof(pte_t) * PTRS_PER_PTE);
	}

	return pte;
}

/*
 * Free one PTE table.
 */
static inline void pte_free_kernel(pte_t *pte)
{
	if (pte) {
		pte -= PTRS_PER_PTE;
		free_page((unsigned long)pte);
	}
}

static inline void pte_free(struct page *pte)
{
	__free_page(pte);
}

static inline void __pmd_populate(pmd_t *pmdp, unsigned long pmdval)
{
	pmdp[0] = __pmd(pmdval);
	pmdp[1] = __pmd(pmdval + 256 * sizeof(pte_t));
	flush_pmd_entry(pmdp);
}

/*
 * Populate the pmdp entry with a pointer to the pte.  This pmd is part
 * of the mm address space.
 *
 * Ensure that we always set both PMD entries.
 */
static inline void
pmd_populate_kernel(struct mm_struct *mm, pmd_t *pmdp, pte_t *ptep)
{
	unsigned long pte_ptr = (unsigned long)ptep;

	/*
	 * The pmd must be loaded with the physical
	 * address of the PTE table
	 */
	pte_ptr -= PTRS_PER_PTE * sizeof(void *);
	__pmd_populate(pmdp, __pa(pte_ptr) | _PAGE_KERNEL_TABLE);
}

static inline void
pmd_populate(struct mm_struct *mm, pmd_t *pmdp, struct page *ptep)
{
	__pmd_populate(pmdp, page_to_pfn(ptep) << PAGE_SHIFT | _PAGE_USER_TABLE);
}

#endif /* CONFIG_MMU */

#endif
Commit	Line	Data
1da177e4 LT	1	/*
	2	* linux/include/asm-arm/pgalloc.h
	3	*
	4	* Copyright (C) 2000-2001 Russell King
	5	*
	6	* This program is free software; you can redistribute it and/or modify
	7	* it under the terms of the GNU General Public License version 2 as
	8	* published by the Free Software Foundation.
	9	*/
	10	#ifndef _ASMARM_PGALLOC_H
	11	#define _ASMARM_PGALLOC_H
	12
74945c86 RK	13	#include <asm/domain.h>
74945c86 RK	14	#include <asm/pgtable-hwdef.h>
1da177e4 LT	15	#include <asm/processor.h>
	16	#include <asm/cacheflush.h>
	17	#include <asm/tlbflush.h>
	18
002547b4 RK	19	#define check_pgt_cache() do { } while (0)
	20
	21	#ifdef CONFIG_MMU
	22
74945c86 RK	23	#define _PAGE_USER_TABLE (PMD_TYPE_TABLE \| PMD_BIT4 \| PMD_DOMAIN(DOMAIN_USER))
	24	#define _PAGE_KERNEL_TABLE (PMD_TYPE_TABLE \| PMD_BIT4 \| PMD_DOMAIN(DOMAIN_KERNEL))
	25
1da177e4 LT	26	/*
	27	* Since we have only two-level page tables, these are trivial
	28	*/
	29	#define pmd_alloc_one(mm,addr) ({ BUG(); ((pmd_t *)2); })
	30	#define pmd_free(pmd) do { } while (0)
	31	#define pgd_populate(mm,pmd,pte) BUG()
	32
	33	extern pgd_t get_pgd_slow(struct mm_struct mm);
	34	extern void free_pgd_slow(pgd_t *pgd);
	35
	36	#define pgd_alloc(mm) get_pgd_slow(mm)
	37	#define pgd_free(pgd) free_pgd_slow(pgd)
	38
1da177e4 LT	39	/*
	40	* Allocate one PTE table.
	41	*
	42	* This actually allocates two hardware PTE tables, but we wrap this up
	43	* into one table thus:
	44	*
	45	* +------------+
	46	* \| h/w pt 0 \|
	47	* +------------+
	48	* \| h/w pt 1 \|
	49	* +------------+
	50	* \| Linux pt 0 \|
	51	* +------------+
	52	* \| Linux pt 1 \|
	53	* +------------+
	54	*/
	55	static inline pte_t *
	56	pte_alloc_one_kernel(struct mm_struct *mm, unsigned long addr)
	57	{
	58	pte_t *pte;
	59
	60	pte = (pte_t *)__get_free_page(GFP_KERNEL\|__GFP_REPEAT\|__GFP_ZERO);
	61	if (pte) {
	62	clean_dcache_area(pte, sizeof(pte_t) * PTRS_PER_PTE);
	63	pte += PTRS_PER_PTE;
	64	}
	65
	66	return pte;
	67	}
	68
	69	static inline struct page *
	70	pte_alloc_one(struct mm_struct *mm, unsigned long addr)
	71	{
	72	struct page *pte;
	73
	74	pte = alloc_pages(GFP_KERNEL\|__GFP_REPEAT\|__GFP_ZERO, 0);
	75	if (pte) {
	76	void *page = page_address(pte);
	77	clean_dcache_area(page, sizeof(pte_t) * PTRS_PER_PTE);
	78	}
	79
	80	return pte;
	81	}
	82
	83	/*
	84	* Free one PTE table.
	85	*/
	86	static inline void pte_free_kernel(pte_t *pte)
	87	{
	88	if (pte) {
	89	pte -= PTRS_PER_PTE;
	90	free_page((unsigned long)pte);
	91	}
	92	}
	93
	94	static inline void pte_free(struct page *pte)
	95	{
	96	__free_page(pte);
	97	}
	98
bdf04248 RK	99	static inline void __pmd_populate(pmd_t *pmdp, unsigned long pmdval)
	100	{
	101	pmdp[0] = __pmd(pmdval);
	102	pmdp[1] = __pmd(pmdval + 256 * sizeof(pte_t));
	103	flush_pmd_entry(pmdp);
	104	}
	105
1da177e4 LT	106	/*
	107	* Populate the pmdp entry with a pointer to the pte. This pmd is part
	108	* of the mm address space.
	109	*
	110	* Ensure that we always set both PMD entries.
	111	*/
	112	static inline void
	113	pmd_populate_kernel(struct mm_struct mm, pmd_t pmdp, pte_t *ptep)
	114	{
	115	unsigned long pte_ptr = (unsigned long)ptep;
1da177e4 LT	116
	117	/*
	118	* The pmd must be loaded with the physical
	119	* address of the PTE table
	120	*/
	121	pte_ptr -= PTRS_PER_PTE * sizeof(void *);
bdf04248	122	__pmd_populate(pmdp, __pa(pte_ptr) \| _PAGE_KERNEL_TABLE);
1da177e4 LT	123	}
	124
	125	static inline void
	126	pmd_populate(struct mm_struct mm, pmd_t pmdp, struct page *ptep)
	127	{
bdf04248	128	__pmd_populate(pmdp, page_to_pfn(ptep) << PAGE_SHIFT \| _PAGE_USER_TABLE);
1da177e4 LT	129	}
1da177e4 LT	130
002547b4 RK	131	#endif /* CONFIG_MMU */
002547b4 RK	132
1da177e4	133	#endif