| 
									
										
										
										
											2007-07-17 18:37:04 -07:00
										 |  |  | #ifndef _XEN_MMU_H
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | #include <linux/linkage.h>
 | 
					
						
							|  |  |  | #include <asm/page.h>
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-04-02 15:36:36 +01:00
										 |  |  | enum pt_level { | 
					
						
							|  |  |  | 	PT_PGD, | 
					
						
							|  |  |  | 	PT_PUD, | 
					
						
							|  |  |  | 	PT_PMD, | 
					
						
							|  |  |  | 	PT_PTE | 
					
						
							|  |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-07-17 18:37:06 -07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-02-26 15:48:33 -08:00
										 |  |  | bool __set_phys_to_machine(unsigned long pfn, unsigned long mfn); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-07-17 18:37:04 -07:00
										 |  |  | void set_pte_mfn(unsigned long vaddr, unsigned long pfn, pgprot_t flags); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-06-16 04:30:02 -07:00
										 |  |  | pte_t xen_ptep_modify_prot_start(struct mm_struct *mm, unsigned long addr, pte_t *ptep); | 
					
						
							|  |  |  | void  xen_ptep_modify_prot_commit(struct mm_struct *mm, unsigned long addr, | 
					
						
							|  |  |  | 				  pte_t *ptep, pte_t pte); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-01-28 14:35:01 -08:00
										 |  |  | unsigned long xen_read_cr2_direct(void); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-08-20 14:30:02 +02:00
										 |  |  | extern void xen_init_mmu_ops(void); | 
					
						
							| 
									
										
										
										
											2010-06-17 14:22:52 +01:00
										 |  |  | extern void xen_hvm_init_mmu_ops(void); | 
					
						
							| 
									
										
										
										
											2007-07-17 18:37:04 -07:00
										 |  |  | #endif	/* _XEN_MMU_H */
 |