Static sunrise_kernel::paging::kernel_memory::KERNEL_MEMORY

pub static KERNEL_MEMORY: SpinLockIRQ<KernelMemory>

A mutex protecting the KernelMemory manager.

This mutex is independent from the one protecting UserLand memory, and both lands can be modified concurrently thanks to each manager not observing the other lands.