Searched refs:monitor_start_pa (Results 1 – 1 of 1) sorted by relevance
2278 pmap_paddr_t monitor_start_pa; in pmap_static_allocations_done() local2288 monitor_start_pa = kvtophys_nofail((vm_offset_t)&bootstrap_pagetables); in pmap_static_allocations_done()2289 monitor_end_pa = monitor_start_pa + BOOTSTRAP_TABLE_SIZE; in pmap_static_allocations_done()2292 pa_set_range_xprr_perm(monitor_start_pa, monitor_end_pa, XPRR_KERN_RW_PERM, XPRR_KERN_RO_PERM); in pmap_static_allocations_done()2299 monitor_start_pa = BootArgs->topOfKernelData; in pmap_static_allocations_done()2303 pa_set_range_xprr_perm(monitor_start_pa, monitor_end_pa, XPRR_KERN_RW_PERM, XPRR_PPL_RW_PERM); in pmap_static_allocations_done()2316 monitor_start_pa = kvtophys_nofail((vm_offset_t)&ropagetable_begin); in pmap_static_allocations_done()2317 …monitor_end_pa = monitor_start_pa + ((vm_offset_t)&ropagetable_end - (vm_offset_t)&ropagetable_beg… in pmap_static_allocations_done()2318 pa_set_range_monitor(monitor_start_pa, monitor_end_pa); in pmap_static_allocations_done()2320 monitor_start_pa = kvtophys_nofail(segPPLDATAB); in pmap_static_allocations_done()[all …]