kernel_optimize_test/include/asm-avr32/semaphore.h