Rev 4055 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4055 | Rev 4296 | ||
---|---|---|---|
Line 77... | Line 77... | ||
77 | * must mark the physically first frame not free explicitly |
77 | * must mark the physically first frame not free explicitly |
78 | * here, no matter what is its address. |
78 | * here, no matter what is its address. |
79 | */ |
79 | */ |
80 | frame_mark_unavailable(ADDR2PFN(KA2PA(PFN2ADDR(0))), 1); |
80 | frame_mark_unavailable(ADDR2PFN(KA2PA(PFN2ADDR(0))), 1); |
81 | } |
81 | } |
- | 82 | ||
- | 83 | end_of_identity = PA2KA(last_frame); |
|
82 | } |
84 | } |
83 | 85 | ||
84 | /** @} |
86 | /** @} |
85 | */ |
87 | */ |