/* SPDX License Identifier: GPL-2.0 */
#ifndef __BAREBOX_SCHED_H_
#define __BAREBOX_SCHED_H_

#include <bthread.h>
#include <poller.h>

static inline void resched(void)
{
	poller_call();
	if (!IS_ENABLED(CONFIG_POLLER) || !poller_active)
		bthread_reschedule();
}

#endif