11 		      void *virt,  in install_pte()  argument
20 	offset = PGDIR_OFFSET((uintptr_t)virt, level);  in install_pte()
35     offset = PGDIR_OFFSET((uintptr_t)virt, level);  in install_pte()
44 struct pte_search find_pte_level(pgd_t *cr3, void *virt,  in find_pte_level()  argument
56 		offset = ((uintptr_t)virt >> shift) & PGDIR_MASK;  in find_pte_level()
77 pteval_t *get_pte(pgd_t *cr3, void *virt)  in get_pte()  argument
81 	search = find_pte_level(cr3, virt, 1);  in get_pte()
90 pteval_t *get_pte_level(pgd_t *cr3, void *virt, int pte_level)  in get_pte_level()  argument
94 	search = find_pte_level(cr3, virt, pte_level);  in get_pte_level()
98 pteval_t *install_large_page(pgd_t *cr3, phys_addr_t phys, void *virt)  in install_large_page()  argument
104     return install_pte(cr3, 2, virt, phys | flags, 0);  in install_large_page()
107 pteval_t *install_page(pgd_t *cr3, phys_addr_t phys, void *virt)  in install_page()  argument
113     return install_pte(cr3, 1, virt, phys | flags, 0);  in install_page()
116 void install_pages(pgd_t *cr3, phys_addr_t phys, size_t len, void *virt)  in install_pages()  argument
120 	assert((uintptr_t) virt % PAGE_SIZE == 0);  in install_pages()
124 		install_page(cr3, phys, virt);  in install_pages()
126 		virt = (char *) virt + PAGE_SIZE;  in install_pages()
130 bool any_present_pages(pgd_t *cr3, void *virt, size_t len)  in any_present_pages()  argument
132 	uintptr_t max = (uintptr_t) virt + len;  in any_present_pages()
135 	for (curr = (uintptr_t) virt; curr < max; curr += PAGE_SIZE) {  in any_present_pages()
312 void walk_pte(void *virt, size_t len, pte_callback_t callback)  in walk_pte()  argument
315     uintptr_t start = (uintptr_t)virt;  in walk_pte()
316     uintptr_t end = (uintptr_t)virt + len;  in walk_pte()