/*
 * EDZL common data structures and utility functions shared by all EDZL
 * based scheduler plugins
 */

#ifndef __UNC_EDZL_COMMON_H__
#define __UNC_EDZL_COMMON_H__

#include <litmus/rt_domain.h>

int edzl_higher_prio(struct task_struct* first,
                     struct task_struct* second);

#endif