···652652 // only after sending the allocation result can we skip to the end in the allocation error case
653653 if (space_ids == NULL) {
654654 IPC_ERROR(s, "Failed to allocate space for receiving spaces ids");
655655+ xret = XRT_ERROR_ALLOCATION;
655656 goto out_locate_spaces;
656657 }
657658