--- OsdSynch.c.old	Sat Jan 20 23:19:58 2001
+++ OsdSynch.c	Sat Jan 20 23:19:15 2001
@@ -73,6 +73,8 @@
 ACPI_STATUS
 AcpiOsDeleteSemaphore (ACPI_HANDLE Handle)
 {
+    struct acpi_semaphore *as = (struct acpi_semaphore *)Handle;
+    mtx_destroy(&as->as_mtx);
     free(Handle, M_ACPISEM);
     return(AE_OK);
 }