| /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 */ |
| } |
| /** @} |
| */ |