ia64/xen-unstable

changeset 4722:8e8d2f9402e1

bitkeeper revision 1.1389.1.19 (4273a257_YthmItOayXCOoUAFw7rYA)

wrpt-disable.patch
Disable writable pagetables in FreeBSD for the time being.
Signed-off-by: Kip Macy <kmacy@fsmware.com>
author kaf24@firebug.cl.cam.ac.uk[kaf24]
date Sat Apr 30 15:20:55 2005 +0000 (2005-04-30)
parents 04c1feb7c674
children e1bb98b5ffa6
files freebsd-5.3-xen-sparse/i386-xen/include/xenpmap.h
line diff
     1.1 --- a/freebsd-5.3-xen-sparse/i386-xen/include/xenpmap.h	Sat Apr 30 15:19:31 2005 +0000
     1.2 +++ b/freebsd-5.3-xen-sparse/i386-xen/include/xenpmap.h	Sat Apr 30 15:20:55 2005 +0000
     1.3 @@ -59,7 +59,9 @@ void pmap_ref(pt_entry_t *pte, unsigned 
     1.4  #define PMAP_DEC_REF_PAGE(a)
     1.5  #endif
     1.6  
     1.7 +#if 0
     1.8  #define WRITABLE_PAGETABLES
     1.9 +#endif
    1.10  #define ALWAYS_SYNC 0
    1.11  
    1.12  #ifdef PT_DEBUG
    1.13 @@ -118,18 +120,18 @@ void pd_set(struct pmap *pmap, vm_paddr_
    1.14  
    1.15  #define PT_SET_VA(_ptp,_npte,sync) do {				\
    1.16          PMAP_REF((_ptp), xpmap_ptom(_npte));                    \
    1.17 -	xen_queue_pt_update((pt_entry_t *)vtomach(_ptp), 	\
    1.18 +	xen_queue_pt_update(vtomach(_ptp), 	                \
    1.19  			    xpmap_ptom(_npte)); 		\
    1.20  	if (sync || ALWAYS_SYNC) xen_flush_queue();		\
    1.21  } while (/*CONSTCOND*/0)
    1.22  #define PT_SET_VA_MA(_ptp,_npte,sync) do {		        \
    1.23          PMAP_REF((_ptp), (_npte));                              \
    1.24 -	xen_queue_pt_update((pt_entry_t *)vtomach(_ptp), _npte);\
    1.25 +	xen_queue_pt_update(vtomach(_ptp), _npte);              \
    1.26  	if (sync || ALWAYS_SYNC) xen_flush_queue();		\
    1.27  } while (/*CONSTCOND*/0)
    1.28  #define PT_CLEAR_VA(_ptp, sync) do {				\
    1.29          PMAP_REF((pt_entry_t *)(_ptp), 0);                      \
    1.30 -	xen_queue_pt_update((pt_entry_t *)vtomach(_ptp), 0);	\
    1.31 +	xen_queue_pt_update(vtomach(_ptp), 0);	                \
    1.32  	if (sync || ALWAYS_SYNC)				\
    1.33  		xen_flush_queue();				\
    1.34  } while (/*CONSTCOND*/0)