Symbol: kinst_trampoline_deinit
sys/cddl/dev/kinst/kinst.c
277
kinst_trampoline_deinit();
sys/cddl/dev/kinst/kinst.c
285
kinst_trampoline_deinit();
sys/cddl/dev/kinst/kinst.c
303
kinst_trampoline_deinit();
sys/cddl/dev/kinst/kinst.h
97
int kinst_trampoline_deinit(void);