Searched refs:base_vaddr (Results 1 – 2 of 2) sorted by relevance
257 addr64_t base_vaddr,
7228 addr64_t base_vaddr, argument7236 page_num = pmap_find_phys(kernel_pmap, base_vaddr);