Rev 1 | Rev 113 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1 | Rev 105 | ||
---|---|---|---|
Line 35... | Line 35... | ||
35 | * TODO: use the memory map obtained from BIOS |
35 | * TODO: use the memory map obtained from BIOS |
36 | */ |
36 | */ |
37 | void frame_arch_init(void) |
37 | void frame_arch_init(void) |
38 | { |
38 | { |
39 | if (config.cpu_active == 1) { |
39 | if (config.cpu_active == 1) { |
40 | __u32 kernel_frames_max; |
40 | kernel_frames = frames; |
41 | - | ||
42 | kernel_frames_max = ((KERNEL_ADDRESS_SPACE_END+1)/FRAME_SIZE); |
41 | kernel_frames_free = frames_free; |
43 | - | ||
44 | kernel_frames_free = kernel_frames = frames < kernel_frames_max ? frames : kernel_frames_max; |
- | |
45 | frame_kernel_bitmap = frame_bitmap; |
42 | frame_kernel_bitmap = frame_bitmap; |
46 | 43 | ||
47 | frame_not_free(0x0); |
44 | frame_not_free(0x0); |
48 | 45 | ||
49 | frame_region_not_free(0xa0000,0xff000); |
46 | frame_region_not_free(0xa0000,0xff000); |