diff --git a/kernel/src/arch/aarch64/memory.rs b/kernel/src/arch/aarch64/memory.rs
index 18d226ba..68dda164 100644
--- a/kernel/src/arch/aarch64/memory.rs
+++ b/kernel/src/arch/aarch64/memory.rs
@@ -4,12 +4,10 @@ use super::paging::MMIOType;
use crate::consts::{KERNEL_OFFSET, MEMORY_OFFSET};
use crate::memory::{init_heap, kernel_offset, Linear, MemoryAttr, MemorySet, FRAME_ALLOCATOR};
use log::*;
-use spin::Mutex;
use rcore_memory::PAGE_SIZE;
+use spin::Mutex;
-lazy_static! {
- static ref KERNEL_MEMORY_SET: Mutex