/branches/arm/kernel/arch/arm32/include/mm/frame.h |
---|
35,7 → 35,7 |
#ifndef KERN_arm32_FRAME_H_ |
#define KERN_arm32_FRAME_H_ |
#define FRAME_WIDTH 0 /* TODO */ |
#define FRAME_WIDTH 12 /* 4KB frames */ |
#define FRAME_SIZE (1 << FRAME_WIDTH) |
#ifdef KERNEL |
/branches/arm/kernel/arch/arm32/include/mm/asid.h |
---|
37,10 → 37,17 |
#include <arch/types.h> |
#define ASID_MAX_ARCH 3 /* TODO */ |
#define ASID_MAX_ARCH 3 /* minimal required number */ |
typedef uint8_t asid_t; |
#define asid_get() ( ASID_START + 1 ) |
/* this works due to that this file is never included alone but only throught |
"generic/include/mm/asid.h" where ASID_START is defined |
*/ |
#define asid_put(asid) |
#endif |
/** @} |
/branches/arm/kernel/arch/arm32/include/mm/as.h |
---|
52,6 → 52,7 |
#define as_constructor_arch(as, flags) (as != as) |
#define as_destructor_arch(as) (as != as) |
#define as_create_arch(as, flags) (as != as) |
#define as_install_arch(as) |
#define as_deinstall_arch(as) |
#define as_invalidate_translation_cache(as, page, cnt) |