Rev 4343 | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4343 | Rev 4344 | ||
---|---|---|---|
Line 91... | Line 91... | ||
91 | last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE); |
91 | last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE); |
92 | 92 | ||
93 | return virtaddr; |
93 | return virtaddr; |
94 | } |
94 | } |
95 | 95 | ||
96 | void hw_area(uintptr_t *physaddr, pfn_t *frames) |
- | |
97 | { |
- | |
98 | *physaddr = end_frame; |
- | |
99 | *frames = ADDR2PFN(0xffffffff - end_frame); |
- | |
100 | } |
- | |
101 | - | ||
102 | void page_fault(int n __attribute__((unused)), istate_t *istate) |
96 | void page_fault(int n __attribute__((unused)), istate_t *istate) |
103 | { |
97 | { |
104 | uintptr_t page; |
98 | uintptr_t page; |
105 | pf_access_t access; |
99 | pf_access_t access; |
106 | 100 |