XEN_NUM_GREFS_PER_PAGE
return DIV_ROUND_UP(buf->num_pages, XEN_NUM_GREFS_PER_PAGE);
int to_copy = XEN_NUM_GREFS_PER_PAGE;
if (grefs_left <= XEN_NUM_GREFS_PER_PAGE) {
to_copy = XEN_NUM_GREFS_PER_PAGE;