Searched refs:monitor_end_va (Results 1 – 1 of 1) sorted by relevance
2324 vm_offset_t monitor_end_va = monitor_start_va + (ppl_cpu_save_area_end - ppl_cpu_save_area_start); in pmap_static_allocations_done() local2326 pmap_set_range_xprr_perm(monitor_start_va, monitor_end_va, XPRR_PPL_RW_PERM, XPRR_KERN_RW_PERM); in pmap_static_allocations_done()