Searched refs:monitor_start_pa (Results 1 – 1 of 1) sorted by relevance
2262 pmap_paddr_t monitor_start_pa; in pmap_static_allocations_done() local2272 monitor_start_pa = kvtophys_nofail((vm_offset_t)&bootstrap_pagetables); in pmap_static_allocations_done()2273 monitor_end_pa = monitor_start_pa + BOOTSTRAP_TABLE_SIZE; in pmap_static_allocations_done()2276 pa_set_range_xprr_perm(monitor_start_pa, monitor_end_pa, XPRR_KERN_RW_PERM, XPRR_KERN_RO_PERM); in pmap_static_allocations_done()2283 monitor_start_pa = BootArgs->topOfKernelData; in pmap_static_allocations_done()2287 pa_set_range_xprr_perm(monitor_start_pa, monitor_end_pa, XPRR_KERN_RW_PERM, XPRR_PPL_RW_PERM); in pmap_static_allocations_done()2300 monitor_start_pa = kvtophys_nofail((vm_offset_t)&ropagetable_begin); in pmap_static_allocations_done()2301 …monitor_end_pa = monitor_start_pa + ((vm_offset_t)&ropagetable_end - (vm_offset_t)&ropagetable_beg… in pmap_static_allocations_done()2302 pa_set_range_monitor(monitor_start_pa, monitor_end_pa); in pmap_static_allocations_done()2304 monitor_start_pa = kvtophys_nofail(segPPLDATAB); in pmap_static_allocations_done()[all …]