From 941b1fab1c3aab5842a83cd607931d2e623e59a2 Mon Sep 17 00:00:00 2001
From: Philipp Oppermann <dev@phil-opp.com>
Date: Sat, 13 Feb 2016 17:05:00 +0100
Subject: [PATCH] Use new `section.is_allocated` function

---
 src/memory/paging/mod.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/memory/paging/mod.rs b/src/memory/paging/mod.rs
index 55ab8e27..b0a15bd7 100644
--- a/src/memory/paging/mod.rs
+++ b/src/memory/paging/mod.rs
@@ -160,9 +160,7 @@ pub fn remap_the_kernel<A>(allocator: &mut A, boot_info: &BootInformation)
 
         // identity map the allocated kernel sections
         for section in elf_sections_tag.sections() {
-            use multiboot2::ELF_SECTION_ALLOCATED;
-
-            if !section.flags().contains(ELF_SECTION_ALLOCATED) {
+            if !section.is_allocated() {
                 // section is not loaded to memory
                 continue;
             }