Searched refs:ptpage_vaddr (Results 1 – 1 of 1) sorted by relevance
1785 vm_offset_t ptpage_vaddr; in init_ptpages() local1792 ptpage_vaddr = alloc_ptpage(static_map); in init_ptpages()1793 …*l1_tte = (kvtophys(ptpage_vaddr) & ARM_TTE_TABLE_MASK) | ARM_TTE_TYPE_TABLE | ARM_TTE_VALID | tab… in init_ptpages()1794 bzero((void *)ptpage_vaddr, ARM_PGBYTES); in init_ptpages()1820 vm_offset_t ptpage_vaddr; in arm_vm_init() local2121 ptpage_vaddr = alloc_ptpage(TRUE); in arm_vm_init()2122 …*cpu_l2_tte = (kvtophys(ptpage_vaddr) & ARM_TTE_TABLE_MASK) | ARM_TTE_TYPE_TABLE | ARM_TTE_VALID |… in arm_vm_init()2123 bzero((void *)ptpage_vaddr, ARM_PGBYTES); in arm_vm_init()