| #ifndef ASR_TEE_SPINLOCK_H | |
| #define ASR_TEE_SPINLOCK_H | |
| #define OPTEE_SPINLOCK_LOCK 1 | |
| #define OPTEE_SPINLOCK_UNLOCK 0 | |
| #ifndef __ASSEMBLY__ | |
| extern void optee_spin_lock(unsigned int *lock); | |
| extern void optee_spin_unlock(unsigned int *lock); | |
| #endif | |
| #endif |