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