HomeSort by: relevance | last modified time | path
    Searched defs:kernel_pt_lookup (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/arm/arm32/
pmap.c 751 static vaddr_t kernel_pt_lookup(paddr_t);
6415 ptep = (pt_entry_t *)kernel_pt_lookup(pa);
6641 pt_entry_t *ptep = (pt_entry_t *)kernel_pt_lookup(pa);
6924 kernel_pt_lookup(paddr_t pa) function in typeref:typename:vaddr_t
7010 ptep = (pt_entry_t *) kernel_pt_lookup(l1pte_pa(pdep[l1slot]));
7149 pt_entry_t *ptep = (pt_entry_t *) kernel_pt_lookup(l1pte_pa(pdep[l1slot]));
7609 pt_entry_t *ptep = (pt_entry_t *) kernel_pt_lookup(l1pte_pa(pde[l1slot]));
pmap.c 751 static vaddr_t kernel_pt_lookup(paddr_t);
6415 ptep = (pt_entry_t *)kernel_pt_lookup(pa);
6641 pt_entry_t *ptep = (pt_entry_t *)kernel_pt_lookup(pa);
6924 kernel_pt_lookup(paddr_t pa) function in typeref:typename:vaddr_t
7010 ptep = (pt_entry_t *) kernel_pt_lookup(l1pte_pa(pdep[l1slot]));
7149 pt_entry_t *ptep = (pt_entry_t *) kernel_pt_lookup(l1pte_pa(pdep[l1slot]));
7609 pt_entry_t *ptep = (pt_entry_t *) kernel_pt_lookup(l1pte_pa(pde[l1slot]));

Completed in 67 milliseconds