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

From: Stefani Seibold
Date: Sun Feb 02 2014 - 06:19:48 EST



> >>
> >> -#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


--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/