| /branches/arm/kernel/arch/arm32/include/types.h |
|---|
| 68,15 → 68,17 |
| typedef int32_t inr_t; |
| typedef int32_t devno_t; |
| /** Page table entry. |
| * |
| * We have different structs for level 0 and level 1 page table entries. |
| * Note: See page.h for pte_level*_t types of different levels of page table. |
| * */ |
| * See page.h for definition of pte_level*_t. |
| */ |
| typedef struct { |
| unsigned dummy : 32; |
| } pte_t; |
| #endif |
| /** @} |