platform_kernel-5.15/include/asm-avr32/semaphore.h