4cache: Searching linux kernel map