[PATCH 2/6] [Linux] Read vDSO range from /proc/PID/task/PID/maps instead of /proc/PID/maps

[Yao Qi]

Pedro Alves <palves@redhat.com> writes:

> gdb/ChangeLog:
> yyyy-mm-dd  Pedro Alves  <palves@redhat.com>
>
> 	PR gdb/19828
> 	* linux-tdep.c (find_mapping_size): Delete.
> 	(linux_vsyscall_range_raw): Rewrite reading from
> 	/proc/PID/task/PID/maps directly instead of using
> 	gdbarch_find_memory_regions.

Looks good to me.

-- 
Yao (齐尧)