- b -

• BIOS_GateHwi : BIOS.h
• BIOS_GateMutex : BIOS.h
• BIOS_GateMutexPri : BIOS.h
• BIOS_GateSwi : BIOS.h
• BIOS_NoLocking : BIOS.h
• BIOS_ThreadType_Hwi : BIOS.h
• BIOS_ThreadType_Main : BIOS.h
• BIOS_ThreadType_Swi : BIOS.h
• BIOS_ThreadType_Task : BIOS.h

- c -

• Clock_TickMode_DYNAMIC : Clock.h
• Clock_TickMode_PERIODIC : Clock.h
• Clock_TickSource_NULL : Clock.h
• Clock_TickSource_TIMER : Clock.h
• Clock_TickSource_USER : Clock.h

- e -

• Event_PendState_CLOCK_WAIT : Event.h
• Event_PendState_POSTED : Event.h
• Event_PendState_TIMEOUT : Event.h
• Event_PendState_WAIT_FOREVER : Event.h

- h -

• Hwi_MaskingOption_ALL : Hwi.h
• Hwi_MaskingOption_BITMASK : Hwi.h
• Hwi_MaskingOption_LOWER : Hwi.h
• Hwi_MaskingOption_NONE : Hwi.h
• Hwi_MaskingOption_SELF : Hwi.h

- s -

• Semaphore_Mode_BINARY : Semaphore.h
• Semaphore_Mode_BINARY_PRIORITY : Semaphore.h
• Semaphore_Mode_COUNTING : Semaphore.h
• Semaphore_Mode_COUNTING_PRIORITY : Semaphore.h

- t -

• Task_Mode_BLOCKED : Task.h
• Task_Mode_INACTIVE : Task.h
• Task_Mode_READY : Task.h
• Task_Mode_RUNNING : Task.h
• Task_Mode_TERMINATED : Task.h