00001 #ifndef __SCHED_POLICY_H__ 00002 #define __SCHED_POLICY_H__ 00003 00004 #include <hvmm_types.h> 00005 00006 vmid_t sched_policy_determ_next(void); 00007 00008 #endif