Rev 2985 | Rev 3129 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2985 | Rev 2986 | ||
|---|---|---|---|
| Line 793... | Line 793... | ||
| 793 | as_area_t *area; |
793 | as_area_t *area; |
| 794 | uintptr_t base; |
794 | uintptr_t base; |
| 795 | link_t *cur; |
795 | link_t *cur; |
| 796 | ipl_t ipl; |
796 | ipl_t ipl; |
| 797 | int page_flags; |
797 | int page_flags; |
| 798 | int old_frame; |
798 | uintptr_t old_frame; |
| 799 | 799 | ||
| 800 | /* Flags for the new memory mapping */ |
800 | /* Flags for the new memory mapping */ |
| 801 | page_flags = area_flags_to_page_flags(flags); |
801 | page_flags = area_flags_to_page_flags(flags); |
| 802 | 802 | ||
| 803 | ipl = interrupts_disable(); |
803 | ipl = interrupts_disable(); |