LA40_RI
return MMU_USE_3L ? LA40_RI(va) : LA2L_RI(va);
if ((kernel_lev1map[LA40_RI(va)] & UTE40_RESIDENT) == 0) {
kernel_lev1map[LA40_RI(va)] =
stpa = kernel_lev1map[LA40_RI(va)] & UTE40_PTA;
unsigned int ri = LA40_RI(va);