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