Symbol: kinst_trampoline_dealloc_locked
sys/cddl/dev/kinst/trampoline.c
224
kinst_trampoline_dealloc_locked(tramp, true);
sys/cddl/dev/kinst/trampoline.c
334
kinst_trampoline_dealloc_locked(td->t_kinst_tramp,