svs_range_add
svs_range_add(ci, (vaddr_t)&pcpuarea->ent[cid],
svs_range_add(ci, (vaddr_t)&__text_user_start,