dmar_free_ctx_locked
dmar_free_ctx_locked(dmar, ctx);
static void dmar_free_ctx_locked(struct dmar_unit *dmar, struct dmar_ctx *ctx);