UTE40_PTA
stpa = kernel_lev1map[LA40_RI(va)] & UTE40_PTA;
stes1[ri] & UTE40_PTA);
ste = (st_entry_t *)(vaddr_t)(protoste & UTE40_PTA);