LA2L_RI
return MMU_USE_3L ? LA40_RI(va) : LA2L_RI(va);
return MMU_USE_3L ? LA40_PI(va) : LA2L_RI(va);
KASSERT((kernel_lev1map[LA2L_RI(va)] & DT51_SHORT) == 0);
kernel_lev1map[LA2L_RI(va)] = pmap_ste_proto | ptp_pa;
stes[LA2L_RI(va)] = proto_ste | pa;