2158b5e0029f0af2fc23893e42c798ba6aa9b39b
[projects/modsched/linux.git] / framework / os / linux / os.c
1 /*
2  * os.c
3  *
4  * Map framework functionality to operating system
5  * depend functions.
6  *
7  *  Created on: 11.07.2013
8  *      Author: Daniel Roehrig, Christian Rene Sechting
9  */
10 #include <fw_task.h>
11 #include <fw_types.h>
12 #include <linux/kernel.h>
13 #include <linux/slab.h>
14
15 extern struct fw_task *fw_idle_task;
16
17 //TODO Do this with linker magic (optimization)
18 void os_printf(const char* formatstring, ...)
19 {
20         va_list list;
21         va_start(list, formatstring);
22         vprintk(formatstring, list);
23         va_end(list);
24 }
25
26 void *os_malloc(fw_size_t size)
27 {
28         return kmalloc(size,GFP_KERNEL);
29 }
30
31 void os_free(void *ptr)
32 {
33         return;
34 }
35
36 void os_create_task(fw_task_t *task)
37 {
38         return;
39 }
40
41 void os_dispatch(fw_task_t *task)
42 {
43         return;
44 }
45
46 void os_dispatch_mp(fw_task_t *task, int cpu)
47 {
48         return;
49 }
50
51 void os_init_os(void)
52 {
53         struct task_struct* ptr = current;
54         fw_idle_task = register_task(ptr);
55         return;
56 }