Rev 1568 | Rev 1700 | 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 |