Rev 113 | Rev 125 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 113 | Rev 115 | ||
---|---|---|---|
Line 40... | Line 40... | ||
40 | 40 | ||
41 | #include <panic.h> |
41 | #include <panic.h> |
42 | 42 | ||
43 | #include <synch/spinlock.h> |
43 | #include <synch/spinlock.h> |
44 | 44 | ||
- | 45 | #include <arch/asm.h> |
|
- | 46 | ||
45 | count_t frames = 0; |
47 | count_t frames = 0; |
46 | count_t frames_free; |
48 | count_t frames_free; |
47 | 49 | ||
48 | __u8 *frame_bitmap; |
50 | __u8 *frame_bitmap; |
49 | count_t frame_bitmap_octets; |
51 | count_t frame_bitmap_octets; |