Searched refs:ptpage_vaddr (Results 1 – 1 of 1) sorted by relevance
1820 vm_offset_t ptpage_vaddr; in init_ptpages() local1827 ptpage_vaddr = alloc_ptpage(static_map); in init_ptpages()1828 …*l1_tte = (kvtophys(ptpage_vaddr) & ARM_TTE_TABLE_MASK) | ARM_TTE_TYPE_TABLE | ARM_TTE_VALID | tab… in init_ptpages()1829 bzero((void *)ptpage_vaddr, ARM_PGBYTES); in init_ptpages()1855 vm_offset_t ptpage_vaddr; in arm_vm_init() local2141 ptpage_vaddr = alloc_ptpage(TRUE); in arm_vm_init()2142 …*cpu_l2_tte = (kvtophys(ptpage_vaddr) & ARM_TTE_TABLE_MASK) | ARM_TTE_TYPE_TABLE | ARM_TTE_VALID |… in arm_vm_init()2143 bzero((void *)ptpage_vaddr, ARM_PGBYTES); in arm_vm_init()