Symbol: xen_page_to_vaddr
drivers/xen/xen-front-pgdir-shbuf.c
215
addr = xen_page_to_vaddr(buf->pages[i]);
drivers/xen/xen-front-pgdir-shbuf.c
282
addr = xen_page_to_vaddr(buf->pages[cur_page]);