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