61 lines
		
	
	
		
			1.4 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			61 lines
		
	
	
		
			1.4 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
/****************************************************************************
 | 
						|
 | 
						|
Copyright(c) 2019 by Aerospace C.Power (Chongqing) Microelectronics. ALL RIGHTS RESERVED.
 | 
						|
 | 
						|
This Information is proprietary to Aerospace C.Power (Chongqing) Microelectronics and MAY NOT
 | 
						|
be copied by any method or incorporated into another program without
 | 
						|
the express written consent of Aerospace C.Power. This Information or any portion
 | 
						|
thereof remains the property of Aerospace C.Power. The Information contained herein
 | 
						|
is believed to be accurate and Aerospace C.Power assumes no responsibility or
 | 
						|
liability for its use in any way and conveys no license or title under
 | 
						|
any patent or copyright and makes no representation or warranty that this
 | 
						|
Information is free from patent or copyright infringement.
 | 
						|
 | 
						|
****************************************************************************/
 | 
						|
 | 
						|
/* os shim includes */
 | 
						|
#include "os_types.h"
 | 
						|
#include "os_mem.h"
 | 
						|
#include "os_lock.h"
 | 
						|
 | 
						|
/* common includes */
 | 
						|
#include "iot_utils.h"
 | 
						|
 | 
						|
typedef struct _os_mutex {
 | 
						|
    void *mutex;
 | 
						|
} os_mutex_t;
 | 
						|
 | 
						|
os_mutex_h os_create_mutex(module_id_t module_id)
 | 
						|
{
 | 
						|
    (void) module_id;
 | 
						|
    os_mutex_t *tmp = NULL;
 | 
						|
 | 
						|
    return tmp;
 | 
						|
}
 | 
						|
 | 
						|
void os_acquire_mutex(os_mutex_h mutex)
 | 
						|
{
 | 
						|
    (void)(mutex);
 | 
						|
}
 | 
						|
 | 
						|
void os_release_mutex(os_mutex_h mutex)
 | 
						|
{
 | 
						|
    (void)(mutex);
 | 
						|
}
 | 
						|
 | 
						|
void os_delete_mutex(os_mutex_h mutex)
 | 
						|
{
 | 
						|
    (void)(mutex);
 | 
						|
}
 | 
						|
 | 
						|
#if 0
 | 
						|
int os_get_scheduler_state(void)
 | 
						|
{
 | 
						|
    return 0;
 | 
						|
}
 | 
						|
 | 
						|
void os_task_switch_context(void)
 | 
						|
{
 | 
						|
}
 | 
						|
#endif
 |