Home
last modified time | relevance | path

Searched refs:kernel_l1pt (Results 1 – 2 of 2) sorted by relevance

/openbsd-src/sys/arch/armv7/armv7/
H A Darmv7_machdep.c367 pv_addr_t kernel_l1pt; in initarm() local
520 kernel_l1pt.pv_pa = 0; in initarm()
524 && kernel_l1pt.pv_pa == 0) { in initarm()
525 valloc_pages(kernel_l1pt, L1_TABLE_SIZE / PAGE_SIZE); in initarm()
534 if (!kernel_l1pt.pv_pa || (kernel_l1pt.pv_pa & (L1_TABLE_SIZE-1)) != 0) in initarm()
587 printf("Creating L1 page table at 0x%08lx\n", kernel_l1pt.pv_pa); in initarm()
595 l1pagetable = kernel_l1pt.pv_pa; in initarm()
657 pmap_map_chunk(l1pagetable, kernel_l1pt.pv_va, kernel_l1pt.pv_pa, in initarm()
696 setttb(kernel_l1pt.pv_pa); in initarm()
832 pmap_bootstrap((pd_entry_t *)kernel_l1pt.pv_va, KERNEL_VM_BASE, in initarm()
/openbsd-src/sys/arch/arm/arm/
H A Dpmap7.c2237 * - kernel_l1pt in pmap_bootstrap()
2249 pmap_bootstrap(pd_entry_t *kernel_l1pt, vaddr_t vstart, vaddr_t vend) in pmap_bootstrap()
2274 pde = kernel_l1pt[l1idx]; in pmap_bootstrap()
2368 pmap_init_l1(l1, kernel_l1pt); in pmap_bootstrap()
2235 pmap_bootstrap(pd_entry_t * kernel_l1pt,vaddr_t vstart,vaddr_t vend) pmap_bootstrap() argument