Symbol: hfi1_free_ctxt