i don't follow you. `ctx`s are elements of `probe_queue`. so i think we already have access to them? also, i'd recommend set them in `dpdk_thread` before it exits. it's more readable this way, as we notify the waiter in a single place.