/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) |
/branches/arm/kernel/arch/arm32/Makefile.inc |
---|
53,10 → 53,10 |
## Compile with support for address space identifiers. |
# |
# no HW support for ASIDs |
#CONFIG_ASID = y |
#CONFIG_ASID_FIFO = y |
CONFIG_ASID = y |
CONFIG_ASID_FIFO = y |
## Compile with support with software division and multiplication. |
# |
/branches/arm/kernel/arch/arm32/src/mm/as.c |
---|
42,19 → 42,8 |
void as_arch_init(void) |
{ |
as_operations = &as_pt_operations; |
asid_fifo_init(); |
} |
/** Install address space. |
* |
* Install ASID. |
* |
* @param as Address space structure. |
*/ |
void as_install_arch(as_t *as) |
{ |
/* TODO */ |
} |
/** @} |
*/ |