/branches/arm/kernel/arch/arm32/include/types.h |
---|
68,6 → 68,9 |
typedef int32_t inr_t; |
typedef int32_t devno_t; |
typedef uint32_t __address; |
/** Page table entry. |
* |
* We have different structs for level 0 and level 1 page table entries. |
/branches/arm/kernel/arch/arm32/include/mm/frame.h |
---|
41,6 → 41,10 |
#ifdef KERNEL |
#ifndef __ASM__ |
#include <arch/types.h> |
extern __address last_frame; |
extern void frame_arch_init(void); |
#endif /* __ASM__ */ |