khypervisor: scheduler.h Source File

Go to the documentation of this file.

00001 #ifndef __SCHEDULER_H__
00002 #define __SCHEDULER_H__
00003 
00004 #include "armv7_p15.h"
00005 #include "context.h"
00006 #include "timer.h"
00007 
00008 #include <log/uart_print.h>
00009 
00010 hvmm_status_t scheduler_next_event(int irq, void *pdata);
00011 
00012 /* Test Code */
00013 void scheduler_test_scheduling(void);
00014 
00015 /* Schedules guest context switch according to the default scheduling policy (sched_policy.c) */
00016 void scheduler_schedule(void);
00017 #endif