87 scan_l1(paddr_t pa, walk_type (fn)(pd_entry_t pde, size_t slot, int lvl))  in scan_l1()
107 scan_l2(paddr_t pa, walk_type (fn)(pd_entry_t pde, size_t slot, int lvl))  in scan_l2()
134 scan_l3(paddr_t pa, walk_type (fn)(pd_entry_t pde, size_t slot, int lvl))  in scan_l3()
161 scan_l4(paddr_t pa, walk_type (fn)(pd_entry_t pde, size_t slot, int lvl))  in scan_l4()
188 scan_tree(paddr_t pa, walk_type (fn)(pd_entry_t pde, size_t slot, int lvl))  in scan_tree()
199 count_krwx(pd_entry_t pde, size_t slot, int lvl)  in count_krwx()
228 count_kshstk(pd_entry_t pde, size_t slot, int lvl)  in count_kshstk()
260 check_kernel_map(pd_entry_t pde, size_t slot, int lvl)  in check_kernel_map()
278 check_pte_space(pd_entry_t pde, size_t slot, int lvl)  in check_pte_space()
296 check_user_space(pd_entry_t pde, size_t slot, int lvl)  in check_user_space()
312 check_kernel_space(pd_entry_t pde, size_t slot, int lvl)  in check_kernel_space()
331 check_svs_g_bit(pd_entry_t pde, size_t slot, int lvl)  in check_svs_g_bit()