num_pages_dir     338 drivers/xen/xen-front-pgdir-shbuf.c 	int i, num_pages_dir;
num_pages_dir     341 drivers/xen/xen-front-pgdir-shbuf.c 	num_pages_dir = get_num_pages_dir(buf);
num_pages_dir     344 drivers/xen/xen-front-pgdir-shbuf.c 	for (i = 0; i < num_pages_dir - 1; i++) {
num_pages_dir     364 drivers/xen/xen-front-pgdir-shbuf.c 	int cur_gref, grefs_left, to_copy, i, num_pages_dir;
num_pages_dir     367 drivers/xen/xen-front-pgdir-shbuf.c 	num_pages_dir = get_num_pages_dir(buf);
num_pages_dir     373 drivers/xen/xen-front-pgdir-shbuf.c 	cur_gref = num_pages_dir;
num_pages_dir     375 drivers/xen/xen-front-pgdir-shbuf.c 	for (i = 0; i < num_pages_dir; i++) {
num_pages_dir     436 drivers/xen/xen-front-pgdir-shbuf.c 	int otherend_id, num_pages_dir;
num_pages_dir     447 drivers/xen/xen-front-pgdir-shbuf.c 	num_pages_dir = get_num_pages_dir(buf);
num_pages_dir     448 drivers/xen/xen-front-pgdir-shbuf.c 	for (i = 0; i < num_pages_dir; i++) {