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