Rev 1787 | Rev 1833 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1787 | Rev 1790 | ||
|---|---|---|---|
| Line 1075... | Line 1075... | ||
| 1075 | count_t i; |
1075 | count_t i; |
| 1076 | for (i = 0; i < init.cnt; i++) |
1076 | for (i = 0; i < init.cnt; i++) |
| 1077 | frame_mark_unavailable(ADDR2PFN(KA2PA(init.tasks[i].addr)), SIZE2FRAMES(init.tasks[i].size)); |
1077 | frame_mark_unavailable(ADDR2PFN(KA2PA(init.tasks[i].addr)), SIZE2FRAMES(init.tasks[i].size)); |
| 1078 | 1078 | ||
| 1079 | /* Black list first frame, as allocating NULL would |
1079 | /* Black list first frame, as allocating NULL would |
| 1080 | * fail on some places */ |
1080 | * fail in some places */ |
| 1081 | frame_mark_unavailable(0, 1); |
1081 | frame_mark_unavailable(0, 1); |
| 1082 | } |
1082 | } |
| 1083 | } |
1083 | } |
| 1084 | 1084 | ||
| 1085 | 1085 | ||