Searched defs:kernel_l1pt (Results 1 – 2 of 2) sorted by relevance
367 pv_addr_t kernel_l1pt; in initarm() local
2235 pmap_bootstrap(pd_entry_t * kernel_l1pt,vaddr_t vstart,vaddr_t vend) pmap_bootstrap() argument