Searched defs:ptpage_vaddr (Results 1 – 1 of 1) sorted by relevance
1778 vm_offset_t ptpage_vaddr; in init_ptpages() local1813 vm_offset_t ptpage_vaddr; in arm_vm_init() local