Searched defs:kernel_pt_lookup (Results 1 - 1 of 1) sorted by relevance

/src/sys/arch/arm/arm32/
H A Dpmap.c6924 kernel_pt_lookup(paddr_t pa) function in typeref:typename:vaddr_t

Completed in 11 milliseconds