_dl_push_range_size
_dl_push_range_size(&imut, libaddr, maxva - minva);
_dl_push_range_size(&mut, relro_addr, relro_size);
_dl_push_range_size(&mut, phdp->p_vaddr + loff,
_dl_push_range_size(&imut, LOFF + ld->moff, ROUND_PG(ld->size));
_dl_push_range_size(&mut, relro_addr, relro_size);
_dl_push_range_size(&mut, phdp->p_vaddr + LOFF,
void _dl_push_range_size(struct range_vector *v, vaddr_t start, vsize_t len);