xen_page_to_vaddr  225 drivers/xen/xen-front-pgdir-shbuf.c 		addr = xen_page_to_vaddr(buf->pages[i]);
xen_page_to_vaddr  293 drivers/xen/xen-front-pgdir-shbuf.c 			addr = xen_page_to_vaddr(buf->pages[cur_page]);