diff --git a/sys/cddl/dev/kinst/trampoline.c b/sys/cddl/dev/kinst/trampoline.c
index ba61faa2b3ab..6614a6ed9302 100644
--- a/sys/cddl/dev/kinst/trampoline.c
+++ b/sys/cddl/dev/kinst/trampoline.c
@@ -163,6 +163,8 @@ kinst_trampoline_dealloc_locked(uint8_t *tramp, bool freechunks)
 	struct trampchunk *chunk;
 	int off;
 
+	sx_assert(&kinst_tramp_sx, SX_XLOCKED);
+
 	if (tramp == NULL)
 		return;