Searched refs:PADDR3 (Results 1 – 2 of 2) sorted by relevance
304 static pt2_entry_t *PADDR3; variable1238 SYSMAP(pt2_entry_t *, PMAP3, PADDR3, 1); in pmap_bootstrap()6730 tlb_flush_local((vm_offset_t)PADDR3); in pmap_pte2_ddb()6735 tlb_flush_local((vm_offset_t)PADDR3); in pmap_pte2_ddb()6738 return (PADDR3 + (arm32_btop(va) & (NPTE2_IN_PG - 1))); in pmap_pte2_ddb()
285 static pt_entry_t *PADDR1 = NULL, *PADDR2, *PADDR3; variable725 SYSMAP(pt_entry_t *, PMAP3, PADDR3, 1) in __CONCAT()1628 invlcaddr(PADDR3); in pmap_pte_quick3()1634 invlcaddr(PADDR3); in pmap_pte_quick3()1639 return (PADDR3 + (i386_btop(va) & (NPTEPG - 1))); in pmap_pte_quick3()