tag	line	file	source code
page_index	558	arch/ppc/mm/init.c	int hash, page_index, segment, i, h, _h, api, vsid, perms;
page_index	572	arch/ppc/mm/init.c	page_index = ((int)va & 0x0FFFF000) >> 12;
page_index	574	arch/ppc/mm/init.c	api = page_index >> 10;
page_index	579	arch/ppc/mm/init.c	hash = page_index ^ vsid;