Re: Mapping of ZONE_HIGHMEM in kernel address space in 32bit x86