Searched refs:ptpage_vaddr (Results 1 – 1 of 1) sorted by relevance
1778 vm_offset_t ptpage_vaddr; in init_ptpages() local1785 ptpage_vaddr = alloc_ptpage(static_map); in init_ptpages()1786 …*l1_tte = (kvtophys(ptpage_vaddr) & ARM_TTE_TABLE_MASK) | ARM_TTE_TYPE_TABLE | ARM_TTE_VALID | tab… in init_ptpages()1787 bzero((void *)ptpage_vaddr, ARM_PGBYTES); in init_ptpages()1813 vm_offset_t ptpage_vaddr; in arm_vm_init() local2099 ptpage_vaddr = alloc_ptpage(TRUE); in arm_vm_init()2100 …*cpu_l2_tte = (kvtophys(ptpage_vaddr) & ARM_TTE_TABLE_MASK) | ARM_TTE_TYPE_TABLE | ARM_TTE_VALID |… in arm_vm_init()2101 bzero((void *)ptpage_vaddr, ARM_PGBYTES); in arm_vm_init()