comparison cos/kernel/kernel.h @ 28:47b7df514243

Moved Makefiles
author windel
date Wed, 28 Dec 2011 13:38:43 +0100
parents dcce92b1efbc
children 7e3bdcb391dc
comparison
equal deleted inserted replaced
27:7f74363f4c82 28:47b7df514243
29 // memory alloc functions: 29 // memory alloc functions:
30 void init_heap(); 30 void init_heap();
31 void* kmalloc(uint64_t size); 31 void* kmalloc(uint64_t size);
32 void kfree(void* ptr); 32 void kfree(void* ptr);
33 33
34 void* kmalloc_int(uint64_t size);
35
34 // task related functions: 36 // task related functions:
35 void initialize_tasking(); 37 void initialize_tasking();
36 void new_task(); 38 void new_task();
37 void task_scheduler(); 39 void task_scheduler();
38 40
39 // STDout funcs: 41 // STDout funcs:
40 void printf(const char* fmt, ... ); 42 void printf(const char* fmt, ... );
41 void memset(void* ptr, uint32_t value, uint32_t num); 43 void memset(void* ptr, uint8_t value, uint64_t num);
42 void memcpy(void* dst, void* src, uint32_t num); 44 void memcpy(void* dst, void* src, uint64_t num);
43 int strncmp(const char* s1, const char* s2, int size); 45 int strncmp(const char* s1, const char* s2, int size);
44 46
45 // Screen related: 47 // Screen related:
46 void clear_screen(); 48 void clear_screen();
47 void init_screen(); 49 void init_screen();
149 char naam[32]; 151 char naam[32];
150 152
151 console_t *console; 153 console_t *console;
152 } task_t; 154 } task_t;
153 155
156 // Memory manager functions:
157 typedef struct
158 {
159 // TODO: other members here.
160 uint64_t frame;
161 } page_t;
162
154 #endif 163 #endif
155 164