/*
 * SPDX-License-Identifier: GPL-2.0
 */

#ifndef _COBALT_KERNEL_TRACE_H
#define _COBALT_KERNEL_TRACE_H

#include <pipeline/trace.h>

#endif /* !_COBALT_KERNEL_TRACE_H */