2 * arch/arm/include/asm/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.
11 #ifndef _ASMARM_PAGE_NOMMU_H
12 #define _ASMARM_PAGE_NOMMU_H
14 #if !defined(CONFIG_SMALL_TASKS) && PAGE_SHIFT < 13
15 #define KTHREAD_SIZE (8192)
17 #define KTHREAD_SIZE PAGE_SIZE
20 #define clear_page(page) memset((page), 0, PAGE_SIZE)
21 #define copy_page(to,from) memcpy((to), (from), PAGE_SIZE)
23 #define clear_user_page(page, vaddr, pg) clear_page(page)
24 #define copy_user_page(to, from, vaddr, pg) copy_page(to, from)
27 * These are used to make use of C type-checking..
29 typedef unsigned long pte_t;
30 typedef unsigned long pmd_t;
31 typedef unsigned long pgd_t[2];
32 typedef unsigned long pgprot_t;
34 #define pte_val(x) (x)
35 #define pmd_val(x) (x)
36 #define pgd_val(x) ((x)[0])
37 #define pgprot_val(x) (x)
41 #define __pgprot(x) (x)