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