cap_resource
end = cap_resource((0xfdULL<<32) - 1);
update_res(info, cap_resource(start), cap_resource(end),
update_res(info, cap_resource(range[i].start),
cap_resource(range[i].end - 1),