ucall_nr_pages_required
int ucall_nr_pages_required(u64 page_size);
nr_pages += ucall_nr_pages_required(page_size);