#ifndef __RT_SERVER_H
#define __RT_SERVER_H

#include <linux/sched.h>
#include <litmus/litmus.h>
#include <litmus/rt_domain.h>

struct rt_server;

typedef int (*need_preempt_t)(rt_domain_t *rt, struct task_struct *t);
typedef void (*server_update_t)(struct rt_server *srv);

struct rt_server {
	int sid;
	int cpu;
	struct task_struct*   	linked;
	rt_domain_t*		domain;
	int running;

	/* Does this server have a higher-priority task? */
	need_preempt_t   	need_preempt;
	/* System state has changed, so should server */
	server_update_t		update;
};

void init_rt_server(struct rt_server *server,
		    int sid, int cpu, rt_domain_t *domain,
		    need_preempt_t need_preempt,
		    server_update_t update);

#endif