pfnsum            306 drivers/hv/channel.c 	int pfnsum, pfncount, pfnleft, pfncurr, pfnsize;
pfnsum            341 drivers/hv/channel.c 		pfnsum = pfncount;
pfnsum            390 drivers/hv/channel.c 					kbuffer + PAGE_SIZE * (pfnsum + i));
pfnsum            395 drivers/hv/channel.c 			pfnsum += pfncurr;