• LOCKED_BIT : xmutex_hw.h
• OWNER_MASK : xmutex_hw.h
• OWNER_SHIFT : xmutex_hw.h
• XMU_MUTEX_REG_OFFSET : xmutex_hw.h
• XMU_USER_REG_OFFSET : xmutex_hw.h
• XMutex_ReadReg : xmutex_hw.h
• XMutex_WriteReg : xmutex_hw.h