Messages in this thread | | | Subject | Re: [PATCH 3/4] Add 32 bit VDSO time support for 32 bit kernel | From | Stefani Seibold <> | Date | Sun, 02 Feb 2014 12:20:25 +0100 |
| |
> >> > >> -#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
| |