/* * ksiginfo_queue_drain: * * Drain a non-empty ksiginfo_t queue. */