check_output_size
if (check_output_size(wi->baddr, wi))
if (check_output_size(baddr, wi))
if (check_output_size(baddr & GENMASK(52, va_bottom), wi))
if (check_output_size(wi, base_addr)) {
if (check_output_size(wi, desc)) {
if (check_output_size(wi, desc)) {