/trunk/kernel/genarch/include/fb/fb.h |
---|
35,8 → 35,8 |
#ifndef KERN_FB_H_ |
#define KERN_FB_H_ |
#include <typedefs.h> |
#include <arch/types.h> |
#include <synch/spinlock.h> |
extern spinlock_t fb_lock; |
void fb_init(uintptr_t addr, unsigned int x, unsigned int y, unsigned int scan, unsigned int visual); |
/trunk/kernel/genarch/include/mm/page_ht.h |
---|
40,7 → 40,7 |
#define KERN_PAGE_HT_H_ |
#include <mm/page.h> |
#include <typedefs.h> |
#include <synch/mutex.h> |
#include <arch/types.h> |
#include <adt/list.h> |
#include <adt/hash_table.h> |