diff --git a/kernel/include/kernel/PCI.h b/kernel/include/kernel/PCI.h
index b18d84ed10..63d9ca6791 100644
--- a/kernel/include/kernel/PCI.h
+++ b/kernel/include/kernel/PCI.h
@@ -19,6 +19,7 @@ namespace Kernel::PCI
 	class BarRegion
 	{
 		BAN_NON_COPYABLE(BarRegion);
+		BAN_NON_MOVABLE(BarRegion);
 
 	public:
 		static BAN::ErrorOr<BAN::UniqPtr<BarRegion>> create(PCI::Device&, uint8_t bar_num);
diff --git a/kernel/kernel/Memory/VirtualRange.cpp b/kernel/kernel/Memory/VirtualRange.cpp
index 5bcc176bf3..670a0b2beb 100644
--- a/kernel/kernel/Memory/VirtualRange.cpp
+++ b/kernel/kernel/Memory/VirtualRange.cpp
@@ -119,6 +119,7 @@ namespace Kernel
 	BAN::ErrorOr<BAN::UniqPtr<VirtualRange>> VirtualRange::clone(PageTable& page_table)
 	{
 		ASSERT(&PageTable::current() == &m_page_table);
+		ASSERT(&m_page_table != &page_table);
 
 		auto result = TRY(create_to_vaddr(page_table, vaddr(), size(), flags(), m_preallocated));