Searched refs:xc_get_tot_pages (Results 1 – 2 of 2) sorted by relevance
417 long xc_get_tot_pages(xc_interface *xch, uint32_t domid) in xc_get_tot_pages() function
1549 long xc_get_tot_pages(xc_interface *xch, uint32_t domid);
Completed in 7 milliseconds