675 	unsigned long req_range[] = {  in check_alloc_rev_range()  local
717 	int req_range_count = ARRAY_SIZE(req_range);  in check_alloc_rev_range()
763 				req_range[i] >> 12,  in check_alloc_rev_range()
764 				(req_range[i + 1] >> 12) - 1,  in check_alloc_rev_range()
765 				req_range[i+2] >> 12,  in check_alloc_rev_range()
766 				req_range[i+3] >> 12);  in check_alloc_rev_range()
769 				req_range[i]   >> 12, /* start */  in check_alloc_rev_range()
770 				req_range[i+1] >> 12, /* end */  in check_alloc_rev_range()
771 				req_range[i+2] >> 12, /* size */  in check_alloc_rev_range()
772 				req_range[i+3] >> 12, /* expected address */  in check_alloc_rev_range()
773 				req_range[i+4],       /* expected return */  in check_alloc_rev_range()
774 				xa_mk_value(req_range[i] >> 12)); /* pointer */  in check_alloc_rev_range()
836 	unsigned long req_range[] = {  in check_alloc_range()  local
885 	int req_range_count = ARRAY_SIZE(req_range);  in check_alloc_range()
924 			 i/5, req_range[i]   >> 12, req_range[i + 1]   >> 12,  in check_alloc_range()
925 			 req_range[i + 2]   >> 12, req_range[i + 3]   >> 12,  in check_alloc_range()
926 			 req_range[i], req_range[i+1]);  in check_alloc_range()
929 				req_range[i]   >> 12, /* start */  in check_alloc_range()
930 				req_range[i+1] >> 12, /* end */  in check_alloc_range()
931 				req_range[i+2] >> 12, /* size */  in check_alloc_range()
932 				req_range[i+3] >> 12, /* expected address */  in check_alloc_range()
933 				req_range[i+4],       /* expected return */  in check_alloc_range()
934 				xa_mk_value(req_range[i] >> 12)); /* pointer */  in check_alloc_range()