rem: while (atomic_add(((spinlock *)(Handle)),0) <= 0);
add: while (_atomic_test_and_set(((spinlock *)(Handle)),0,1) <= 0);
context: AcpiOsAcquireLock (    ACPI_HANDLE             Handle,    UINT32                  Flags){	/*cpu_status cpu;		if (Flags == ACPI_NOT_ISR)		cpu = disable_interrupts();		    acquire_spinlock ((spinlock *)(Handle));        if (Flags == ACPI_NOT_ISR)    	restore_interrupts(cpu);*/    	    /* Why aren't we using real spinlocks? Well, they seem to cause       kernel hangs at boot, at least on Dano. I don't really know       why, as they should be equivalent to this. Maybe in sysinit2       interrupts are already off, and the double disable interrupts       call is hanging the system? I'm not sure how to detect that       though. Anyway, this works, even if it's stupid. */    	    while (atomic_add(((spinlock *)(Handle)),0) <= 0);}