X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=KernelLand%2FKernel%2Farch%2Fx86_64%2Flib.c;h=60770f63679495e9b3d991330cd221d309ea7765;hb=09a02836dd9b51edc0f9fc73375fa9d90252a97d;hp=85dda82438452ab445a553ce5c8362d24499c841;hpb=14d0ba44433f0f828aff710184fd3c597ab73999;p=tpg%2Facess2.git

diff --git a/KernelLand/Kernel/arch/x86_64/lib.c b/KernelLand/Kernel/arch/x86_64/lib.c
index 85dda824..60770f63 100644
--- a/KernelLand/Kernel/arch/x86_64/lib.c
+++ b/KernelLand/Kernel/arch/x86_64/lib.c
@@ -88,6 +88,8 @@ void SHORTLOCK(struct sShortSpinlock *Lock)
 		Lock->Depth ++;
 		return ;
 	}
+	#else
+	ASSERT( !CPU_HAS_LOCK(Lock) );
 	#endif
 	
 	// Wait for another CPU to release