// From Documentation/vDSO/parse_vdso.c in linux.git