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