2 * linux/include/asm-arm/page-nommu.h
4 * Copyright (C) 2004 Hyok S. Choi
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.
10 #ifndef _ASMARM_PAGE_NOMMU_H
11 #define _ASMARM_PAGE_NOMMU_H
13 #if !defined(CONFIG_SMALL_TASKS) && PAGE_SHIFT < 13
14 #define KTHREAD_SIZE (8192)
16 #define KTHREAD_SIZE PAGE_SIZE
19 #define get_user_page(vaddr) __get_free_page(GFP_KERNEL)
20 #define free_user_page(page, addr) free_page(addr)
22 #define clear_page(page) memset((page), 0, PAGE_SIZE)
23 #define copy_page(to,from) memcpy((to), (from), PAGE_SIZE)
25 #define clear_user_page(page, vaddr, pg) clear_page(page)
26 #define copy_user_page(to, from, vaddr, pg) copy_page(to, from)
29 * These are used to make use of C type-checking..
31 typedef unsigned long pte_t
;
32 typedef unsigned long pmd_t
;
33 typedef unsigned long pgd_t
[2];
34 typedef unsigned long pgprot_t
;
36 #define pte_val(x) (x)
37 #define pmd_val(x) (x)
38 #define pgd_val(x) ((x)[0])
39 #define pgprot_val(x) (x)
43 #define __pgprot(x) (x)
45 /* to align the pointer to the (next) page boundary */
46 #define PAGE_ALIGN(addr) (((addr)+PAGE_SIZE-1)&PAGE_MASK)
48 extern unsigned long memory_start
;
49 extern unsigned long memory_end
;