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