Virtual Memory Manager (VMM) for x86_64: owns the kernel page table and maps and unmaps pages at 4 KiB granularity.
Authors: MarioS271