UTE40_RESIDENT
if ((kernel_lev1map[LA40_RI(va)] & UTE40_RESIDENT) == 0) {
if ((stes1[ri] & UTE40_RESIDENT) == 0) {