Rev 2985 | Rev 3149 | 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(); |