blob: 43d239c3ef6345b4182845c3c4c8422f6476e5d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
/* SPDX License Identifier: GPL-2.0 */
#ifndef __BAREBOX_SCHED_H_
#define __BAREBOX_SCHED_H_
#include <poller.h>
static inline void resched(void)
{
poller_call();
}
#endif
|