Searched refs:xc_gntshr_share_page_notify (Results 1 – 2 of 2) sorted by relevance
89 void *xc_gntshr_share_page_notify(xc_gntshr *xcg, uint32_t domid, in xc_gntshr_share_page_notify() function
115 void *xc_gntshr_share_page_notify(xc_gntshr *xcg, uint32_t domid,
Completed in 3 milliseconds