Searched refs:shared_page (Results 1 – 1 of 1) sorted by relevance
33 static int xen_map_shared_info(const shared_info_t *shared_page) in xen_map_shared_info() argument40 xatp.gpfn = (((xen_pfn_t) shared_page) >> XEN_PAGE_SHIFT); in xen_map_shared_info()
