kernel_pt_lookup

6381

ptep = (pt_entry_t *)kernel_pt_lookup(pa);

6607

pt_entry_t *ptep = (pt_entry_t *)kernel_pt_lookup(pa);

6976

ptep = (pt_entry_t *) kernel_pt_lookup(l1pte_pa(pdep[l1slot]));

7115

pt_entry_t *ptep = (pt_entry_t *) kernel_pt_lookup(l1pte_pa(pdep[l1slot]));

746

static vaddr_t kernel_pt_lookup(paddr_t);

7575

pt_entry_t *ptep = (pt_entry_t *) kernel_pt_lookup(l1pte_pa(pde[l1slot]));