configASSERT( pxTCB == pxCurrentTCB ) problem

[wuhuaroubj]

BaseType_t xTaskPriorityDisinherit( TaskHandle_t const pxMutexHolder )
{
TCB_t * const pxTCB = ( TCB_t * ) pxMutexHolder;
BaseType_t xReturn = pdFALSE;

	if( pxMutexHolder != NULL )
	{
		/* A task can only have an inherited priority if it holds the mutex.
		If the mutex is held by a task then it cannot be given from an
		interrupt, and if a mutex is given by the holding task then it must
		be the running state task. */
		configASSERT( pxTCB == pxCurrentTCB );

pxTCB ： 0x20000B30 pxCurrentTCB： 0x20003738

[MaJerle]

What is this? Do you mind to give an explanation?

[wuhuaroubj]

in my project， freertos is used and GSM_RTOS set as 1 , then mutex is used.

There are 2 tasks,
void GSM_Update_Thread( void const* params )
{
while( 1 )
{
/* Process GSM update */
GSM_Update( &GSM );
}
}

void mainTask( void const* argument )
{
uint8_t ret;
uint32_t i = 0, j = 0;

printf( ">>main task start\r\n" );

// gsm power control

/* Init GSM library with PIN code */
GSM_Init( &GSM, GSM_PIN, 115200, GSM_Callback );

while( 1 )
{      
  //osDelay(1000);
    /* Process callback checks */
    GSM_ProcessCallbacks( &GSM );

    if( ( gsmRes = GSM_GPRS_Attach( &GSM, GSM_APN, GSM_APN_USER, GSM_APN_PASS, 1 ) ) == gsmOK )
    {
        printf( "GPRS Attached\r\n" );
    }      
}

assert configASSERT( pxTCB == pxCurrentTCB ); happened, do you have any good idea for this problem？