/* extract a recipe array to reconstitue all the key values in a future voucher */
routine mach_voucher_debug_info(
- task : ipc_space_t;
+ task : ipc_space_read_t;
voucher_name: mach_port_name_t;
out recipes : mach_voucher_attr_raw_recipe_array_t, CountInOut);