/* * ksiginfo_free: * * If the given ksiginfo_t is from the pool and has not been queued, * then free it. */