alpha_trunc_l2seg
alpha_trunc_l2seg(sva) + ALPHA_L2SEG_SIZE;
l2eva = alpha_trunc_l2seg(sva) + ALPHA_L2SEG_SIZE;