xa_mk_value
r = xa_alloc_cyclic_irq(&amdgpu_pasid_xa, &pasid, xa_mk_value(0),
entry = xa_mk_value(idx);