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

#ifndef _COBALT_KERNEL_IPIPE_TICK_H
#define _COBALT_KERNEL_IPIPE_TICK_H

int pipeline_install_tick_proxy(void);

void pipeline_uninstall_tick_proxy(void);

struct xnsched;

bool pipeline_must_force_program_tick(struct xnsched *sched);

#endif /* !_COBALT_KERNEL_IPIPE_TICK_H */