- _ -

• __attribute__() : rbtree.h
• __clrex() : synchronization.h
• __dmb() : synchronization.h
• __dsb() : synchronization.h
• __isb() : synchronization.h
• __ldrex() : synchronization.h
• __ldrexb() : synchronization.h
• __ldrexh() : synchronization.h
• __strex() : synchronization.h
• __strexb() : synchronization.h
• __strexh() : synchronization.h