Searched refs:ulCoreNum (Results 1 – 1 of 1) sorted by relevance
217 uint32_t ulCoreNum = get_core_num(); in vPortRecursiveLock() local225 if( ucOwnedByCore[ ulCoreNum ] & ulLockBit ) in vPortRecursiveLock()240 ucOwnedByCore[ ulCoreNum ] |= ulLockBit; in vPortRecursiveLock()244 configASSERT( ( ucOwnedByCore[ ulCoreNum ] & ulLockBit ) != 0 ); in vPortRecursiveLock()249 ucOwnedByCore[ ulCoreNum ] &= ~ulLockBit; in vPortRecursiveLock()
