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