Rev 1809 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1809 | Rev 1821 | ||
---|---|---|---|
Line 34... | Line 34... | ||
34 | 34 | ||
35 | #ifndef __xen32_FRAME_H__ |
35 | #ifndef __xen32_FRAME_H__ |
36 | #define __xen32_FRAME_H__ |
36 | #define __xen32_FRAME_H__ |
37 | 37 | ||
38 | #define FRAME_WIDTH 12 /* 4K */ |
38 | #define FRAME_WIDTH 12 /* 4K */ |
39 | #define FRAME_SIZE (1<<FRAME_WIDTH) |
39 | #define FRAME_SIZE (1 << FRAME_WIDTH) |
40 | 40 | ||
41 | 41 | ||
42 | #ifdef KERNEL |
42 | #ifdef KERNEL |
43 | #ifndef __ASM__ |
43 | #ifndef __ASM__ |
44 | 44 | ||
45 | #include <arch/types.h> |
45 | #include <arch/types.h> |
- | 46 | #include <arch/boot/boot.h> |
|
- | 47 | ||
- | 48 | #define PA2MA(x) ((start_info.pm_map[((uintptr_t) (x)) >> 12] << 12) + (((uintptr_t) (x)) & 0xfff)) |
|
46 | 49 | ||
47 | extern uintptr_t last_frame; |
50 | extern uintptr_t last_frame; |
48 | 51 | ||
49 | extern void frame_arch_init(void); |
52 | extern void frame_arch_init(void); |
50 | 53 |