1efd8e5aaSPaolo Bonzini #ifndef VMALLOC_H 2efd8e5aaSPaolo Bonzini #define VMALLOC_H 1 3efd8e5aaSPaolo Bonzini 4*dcda215bSPaolo Bonzini #include <asm/page.h> 5*dcda215bSPaolo Bonzini 6efd8e5aaSPaolo Bonzini extern void *alloc_vpages(ulong nr); 7efd8e5aaSPaolo Bonzini extern void *alloc_vpage(void); 8efd8e5aaSPaolo Bonzini extern void init_alloc_vpage(void *top); 9937e2392SPaolo Bonzini extern void setup_vm(); 10937e2392SPaolo Bonzini 11937e2392SPaolo Bonzini extern void *setup_mmu(phys_addr_t top); 12c41e032aSPaolo Bonzini extern phys_addr_t virt_to_pte_phys(pgd_t *pgtable, void *virt); 13*dcda215bSPaolo Bonzini extern pteval_t *install_page(pgd_t *pgtable, phys_addr_t phys, void *virt); 14*dcda215bSPaolo Bonzini 15*dcda215bSPaolo Bonzini void *vmap(phys_addr_t phys, size_t size); 16efd8e5aaSPaolo Bonzini 17efd8e5aaSPaolo Bonzini #endif 18