printf("invoke_method: pib %p\n", user_pib);
ParamInfoBlock pib = Arch::copyin(user_pib);
- printf("objlist len %lu\n", pib.objlist_len);
+ printf("objlist len %u\n", pib.objlist_len);
if (pib.objlist_len == 0)
throw_idl(InvalidArgument, 0, countarray("no objects"));
u8 *copy = new(orbmm) u8[pib.copy_size];
ParamInfoBlock *dpib = reinterpret_cast<ParamInfoBlock *>
(args + piboff);
- dpib->objlist = reinterpret_cast<uintptr_t *>(args + datalen);
+ dpib->objlist = reinterpret_cast<ID *>(args + datalen);
copy_ids_to_kern(dpib, &pib, ids);
copy_data(args, args, pib.buffer_size, dpib, &pib, ~0U, Segment::In);