Lines Matching defs:pde
87 scan_l1(paddr_t pa, walk_type (fn)(pd_entry_t pde, size_t slot, int lvl))
107 scan_l2(paddr_t pa, walk_type (fn)(pd_entry_t pde, size_t slot, int lvl))
134 scan_l3(paddr_t pa, walk_type (fn)(pd_entry_t pde, size_t slot, int lvl))
161 scan_l4(paddr_t pa, walk_type (fn)(pd_entry_t pde, size_t slot, int lvl))
188 scan_tree(paddr_t pa, walk_type (fn)(pd_entry_t pde, size_t slot, int lvl))
199 count_krwx(pd_entry_t pde, size_t slot, int lvl)
204 if (is_flag(pde, PTE_NX) || !is_flag(pde, PTE_W)) {
207 if (lvl != 1 && !is_flag(pde, PTE_PS)) {
228 count_kshstk(pd_entry_t pde, size_t slot, int lvl)
234 if (is_flag(pde, PTE_PS) || lvl == 1) {
235 if (!is_flag(pde, PTE_W) && is_flag(pde, PTE_D)) {
249 if (!is_flag(pde, PTE_W)) {
260 check_kernel_map(pd_entry_t pde, size_t slot, int lvl)
268 if (pde != 0) {
278 check_pte_space(pd_entry_t pde, size_t slot, int lvl)
286 if (is_flag(pde, PTE_U)) {
296 check_user_space(pd_entry_t pde, size_t slot, int lvl)
301 if (!is_flag(pde, PTE_U)) {
312 check_kernel_space(pd_entry_t pde, size_t slot, int lvl)
320 if (is_flag(pde, PTE_U)) {
331 check_svs_g_bit(pd_entry_t pde, size_t slot, int lvl)
336 if (is_flag(pde, PTE_G)) {