KERNELN_SEGMENT
ofw_pmap.pm_sr[0] = KERNELN_SEGMENT(0)|SR_PRKEY;
pmap_kernel()->pm_sr[i] = KERNELN_SEGMENT(i)|SR_PRKEY;