Symbol: ikm_destroy_trace_instance
tools/verification/rv/src/in_kernel.c
834
ikm_destroy_trace_instance(inst);
tools/verification/rv/src/in_kernel.c
842
ikm_destroy_trace_instance(inst);