| /branches/arm/kernel/arch/arm32/include/types.h |
|---|
| 36,6 → 36,12 |
| #ifndef KERN_arm32_TYPES_H_ |
| #define KERN_arm32_TYPES_H_ |
| #ifndef DOXYGEN |
| # define ATTRIBUTE_PACKED __attribute__ ((packed)) |
| #else |
| # define ATTRIBUTE_PACKED |
| #endif |
| #define NULL 0 |
| #define false 0 |
| #define true 1 |
| /branches/arm/kernel/arch/arm32/include/mm/page.h |
|---|
| 59,6 → 59,7 |
| #define PTL0_ENTRIES_ARCH (2<<12) // 4096 |
| #define PTL1_ENTRIES_ARCH 0 |
| #define PTL2_ENTRIES_ARCH 0 |
| /* coarse page tables used (256*4 = 1KB per page) */ |
| #define PTL3_ENTRIES_ARCH (2<<8) // 256 |
| 98,8 → 99,10 |
| /* pte should point into ptl3 */ |
| #define PTE_GET_FRAME_ARCH(pte) ( ((pte_level1_t *)(pte))->frame_base_addr << FRAME_WIDTH) |
| /* pte should point into ptl3 */ |
| #define PTE_WRITABLE_ARCH(pte) ( ((pte_level1_t *)(pte))->access_permission_0 == PTE_AP_USER_RW_KERNEL_RW ) |
| #define PTE_EXECUTABLE_ARCH(pte) 1 |
| 120,7 → 123,7 |
| * with 1KB per the coarse table) |
| */ |
| unsigned coarse_table_addr : 22; |
| } __attribute__ ((packed)) pte_level0_t; |
| } ATTRIBUTE_PACKED pte_level0_t; |
| /** Level 1 page table entry (small (4KB) pages used). */ |
| 138,7 → 141,7 |
| unsigned access_permission_2 : 2; |
| unsigned access_permission_3 : 2; |
| unsigned frame_base_addr : 20; |
| } __attribute__ ((packed)) pte_level1_t; |
| } ATTRIBUTE_PACKED pte_level1_t; |
| /* Level 1 page tables access permissions */ |
| /branches/arm/kernel/arch/arm32/include/mm/page_fault.h |
|---|
| 45,7 → 45,7 |
| unsigned domain : 4; |
| unsigned zero : 1; |
| unsigned should_be_zero : 24; |
| } __attribute__ ((packed)) fault_status_t; |
| } ATTRIBUTE_PACKED fault_status_t; |
| /** Help union used for casting integer value into #fault_status_t. */ |
| 69,7 → 69,7 |
| unsigned opcode : 4; |
| unsigned type : 3; |
| unsigned condition : 4; |
| } __attribute__ ((packed)) instruction_t; |
| } ATTRIBUTE_PACKED instruction_t; |
| /** Help union used for casting pc register (uint_32_t) value into |
| 76,7 → 76,7 |
| * #instruction_t pointer. |
| */ |
| typedef union { |
| instruction_t* instr; |
| instruction_t *instr; |
| uint32_t pc; |
| } instruction_union_t; |
| /branches/arm/refman/Doxyfile-kernel-arm32 |
|---|
| 93,7 → 93,7 |
| #--------------------------------------------------------------------------- |
| SOURCE_BROWSER = NO |
| INLINE_SOURCES = NO |
| STRIP_CODE_COMMENTS = YES |
| STRIP_CODE_COMMENTS = NO |
| REFERENCED_BY_RELATION = NO |
| REFERENCES_RELATION = NO |
| VERBATIM_HEADERS = NO |
| 177,14 → 177,16 |
| # Configuration options related to the preprocessor |
| #--------------------------------------------------------------------------- |
| ENABLE_PREPROCESSING = YES |
| MACRO_EXPANSION = NO |
| EXPAND_ONLY_PREDEF = NO |
| MACRO_EXPANSION = YES |
| EXPAND_ONLY_PREDEF = YES |
| SEARCH_INCLUDES = YES |
| INCLUDE_PATH = |
| INCLUDE_FILE_PATTERNS = |
| PREDEFINED = CONFIG_SMP \ |
| CONFIG_HT |
| EXPAND_AS_DEFINED = |
| CONFIG_HT \ |
| DOXYGEN \ |
| ATTRIBUTE_PACKED= |
| EXPAND_AS_DEFINED = ATTRIBUTE_PACKED |
| SKIP_FUNCTION_MACROS = NO |
| #--------------------------------------------------------------------------- |
| # Configuration::additions related to external references |
| /branches/arm/refman/Doxyfile-uspace-arm32 |
|---|
| 118,7 → 118,7 |
| #--------------------------------------------------------------------------- |
| SOURCE_BROWSER = NO |
| INLINE_SOURCES = NO |
| STRIP_CODE_COMMENTS = YES |
| STRIP_CODE_COMMENTS = NO |
| REFERENCED_BY_RELATION = NO |
| REFERENCES_RELATION = NO |
| VERBATIM_HEADERS = NO |
| /branches/arm/refman/Doxyfile-boot-arm32 |
|---|
| 91,7 → 91,7 |
| #--------------------------------------------------------------------------- |
| SOURCE_BROWSER = NO |
| INLINE_SOURCES = NO |
| STRIP_CODE_COMMENTS = YES |
| STRIP_CODE_COMMENTS = NO |
| REFERENCED_BY_RELATION = NO |
| REFERENCES_RELATION = NO |
| VERBATIM_HEADERS = NO |