Rev 2199 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2199 | Rev 2238 | ||
|---|---|---|---|
| Line 1... | Line 1... | ||
| 1 | /* |
1 | /* |
| 2 | * Copyright (c) 2005 Jakub Jermar |
2 | * Copyright (c) 2007 Pavel Jancik, Michal Kebrt |
| 3 | * All rights reserved. |
3 | * All rights reserved. |
| 4 | * |
4 | * |
| 5 | * Redistribution and use in source and binary forms, with or without |
5 | * Redistribution and use in source and binary forms, with or without |
| 6 | * modification, are permitted provided that the following conditions |
6 | * modification, are permitted provided that the following conditions |
| 7 | * are met: |
7 | * are met: |
| Line 37... | Line 37... | ||
| 37 | #include "../aux_print/printf.h" |
37 | #include "../aux_print/printf.h" |
| 38 | 38 | ||
| 39 | /** Create memory zones. */ |
39 | /** Create memory zones. */ |
| 40 | void frame_arch_init(void) |
40 | void frame_arch_init(void) |
| 41 | { |
41 | { |
| 42 | aux_printf("frame_arch_init ... begin\n"); |
42 | aux_printf("frame_arch_init ... begin\n"); |
| 43 | // all memory as one zone |
43 | // all memory as one zone |
| 44 | zone_create(0, ADDR2PFN(config.memory_size), 11, 0); |
44 | zone_create(0, ADDR2PFN(config.memory_size), 11, 0); |
| 45 | /* |
45 | /* |
| 46 | * Blacklist interrupt vector + Kernels from boot loader page table |
46 | * Blacklist interrupt vector + Kernels from boot loader page table |
| 47 | */ |
47 | */ |
| 48 | frame_mark_unavailable(0, 10); |
48 | frame_mark_unavailable(0, 10); |
| 49 | aux_printf("frame_arch_init ... end\n"); |
49 | aux_printf("frame_arch_init ... end\n"); |
| 50 | - | ||
| 51 | } |
50 | } |
| 52 | 51 | ||
| 53 | /** @} |
52 | /** @} |
| 54 | */ |
53 | */ |