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