Rev 1 | Rev 354 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1 | Rev 102 | ||
---|---|---|---|
Line 28... | Line 28... | ||
28 | 28 | ||
29 | #ifndef __FRAME_H__ |
29 | #ifndef __FRAME_H__ |
30 | #define __FRAME_H__ |
30 | #define __FRAME_H__ |
31 | 31 | ||
32 | #include <arch/types.h> |
32 | #include <arch/types.h> |
- | 33 | #include <typedefs.h> |
|
33 | 34 | ||
34 | #define FRAME_KA 1 /* skip frames conflicting with user address space */ |
35 | #define FRAME_KA 1 /* skip frames conflicting with user address space */ |
35 | #define FRAME_PANIC 2 /* panic on failure */ |
36 | #define FRAME_PANIC 2 /* panic on failure */ |
36 | 37 | ||
37 | extern __u32 frames; |
38 | extern count_t frames; |
38 | extern __u32 frames_free; |
39 | extern count_t frames_free; |
39 | 40 | ||
40 | extern __u32 kernel_frames; |
41 | extern count_t kernel_frames; |
41 | extern __u32 kernel_frames_free; |
42 | extern count_t kernel_frames_free; |
42 | 43 | ||
43 | extern __u8 *frame_bitmap; |
44 | extern __u8 *frame_bitmap; |
44 | extern __u32 frame_bitmap_octets; |
45 | extern count_t frame_bitmap_octets; |
45 | 46 | ||
46 | extern __u8 *frame_kernel_bitmap; |
47 | extern __u8 *frame_kernel_bitmap; |
47 | 48 | ||
48 | extern void frame_init(void); |
49 | extern void frame_init(void); |
49 | 50 |