rem: AcpiOsSignalSemaphore (Handle, 1);
add: cpu_status cpu;  if (Flags == ACPI_NOT_ISR) cpu = disable_interrupts();  release_spinlock ((spinlock *)(Handle));  if (Flags == ACPI_NOT_ISR) restore_interrupts(cpu);
context: AcpiOsReleaseLock (    ACPI_HANDLE             Handle,    UINT32                  Flags){    AcpiOsSignalSemaphore (Handle, 1);}