/* check MR if it is a max-MR, i.e. uses whole memory in case it's a max-MR 1 is returned, else 0  */
int ehca_mr_is_maxmr(u64 size, u64 *iova_start)
/* check MR if it is a max-MR, i.e. uses whole memory in case it's a max-MR 1 is returned, else 0  */
int ehca_mr_is_maxmr(u64 size, u64 *iova_start)
{
	if ((size == ehca_mr_len) &&
	    (iova_start == (void *)ehca_map_vaddr((void *)KERNELBASE))) {
		ehca_gen_dbg("this is a max-MR");
		return 1;
	} else
		return 0;
}