Rev 3478 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3478 | Rev 4634 | ||
---|---|---|---|
Line 51... | Line 51... | ||
51 | last_frame = machine_get_memory_size(); |
51 | last_frame = machine_get_memory_size(); |
52 | 52 | ||
53 | /* blacklist boot page table */ |
53 | /* blacklist boot page table */ |
54 | frame_mark_unavailable(BOOT_PAGE_TABLE_START_FRAME, |
54 | frame_mark_unavailable(BOOT_PAGE_TABLE_START_FRAME, |
55 | BOOT_PAGE_TABLE_SIZE_IN_FRAMES); |
55 | BOOT_PAGE_TABLE_SIZE_IN_FRAMES); |
- | 56 | ||
- | 57 | /* Machine specific frame initialization */ |
|
- | 58 | machine_frame_init(); |
|
56 | } |
59 | } |
57 | 60 | ||
58 | /** Frees the boot page table. */ |
61 | /** Frees the boot page table. */ |
59 | void boot_page_table_free(void) |
62 | void boot_page_table_free(void) |
60 | { |
63 | { |