Re: [PATCH 3/4] Add 32 bit VDSO time support for 32 bit kernel

Stefani Seibold
2014-02-02T11:19:43Z

> >>
> >> -#define VDSO_HIGH_BASE 0xffffe000U /* CONFIG_COMPAT_VDSO address */
> >> +#define VDSO_HIGH_BASE 0xffffc000U /* CONFIG_COMPAT_VDSO address */
> >
> > This is odd. Can you explain it?
> >
>
> He needs 3 pages instead of 1 after his changes.
>

Not every kernel hackers a male. By definition i am femal, so please
replace he and his with she and her.

- Stefani