/*
     raw os - Copyright (C)  Lingjun Chen(jorya_txj).

    This file is part of raw os.

    raw os is free software; you can redistribute it it under the terms of the 
    GNU General Public License as published by the Free Software Foundation; 
    either version 3 of the License, or  (at your option) any later version.

    raw os is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; 
    without even the implied warranty of  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  
    See the GNU General Public License for more details.

    You should have received a copy of the GNU Lesser General Public License
    along with this program. if not, write email to jorya.txj@gmail.com
                                      ---

    A special exception to the LGPL can be applied should you wish to distribute
    a combined work that includes raw os, without being obliged to provide
    the source code for any proprietary components. See the file exception.txt
    for full details of how and when the exception can be applied.
*/


/* 	2012-9  Created by jorya_txj
  *	xxxxxx   please added here
  */

#include <raw_api.h>


#if (RAW_CONFIG_CPU_TASK > 0)

void raw_idle_count_set(RAW_IDLE_COUNT_TYPE count_value)
{
	RAW_SR_ALLOC();
	
	USER_CPU_INT_DISABLE();

	raw_idle_count = count_value;

	USER_CPU_INT_ENABLE();


}

RAW_IDLE_COUNT_TYPE raw_idle_count_get(void)
{

	return raw_idle_count;

}

#endif


void raw_idle_task (void *p_arg)
{
	RAW_SR_ALLOC();
	
	p_arg = p_arg;                                          /* Make compiler happy ^_^ */

	while (1) {

		USER_CPU_INT_DISABLE();
		
		raw_idle_count++;

		USER_CPU_INT_ENABLE();

		#if (CONFIG_RAW_USER_HOOK > 0)
		raw_idle_coroutine_hook();
		#endif
	}
	
}