rem: AcpiOsWaitSemaphore (Handle, 1, 0xFFFF);
add: cpu_status cpu;  if (Flags == ACPI_NOT_ISR) cpu = disable_interrupts();  acquire_spinlock ((spinlock *)(Handle));  if (Flags == ACPI_NOT_ISR) restore_interrupts(cpu);
context: AcpiOsAcquireLock (    ACPI_HANDLE             Handle,    UINT32                  Flags){    AcpiOsWaitSemaphore (Handle, 1, 0xFFFF);}