/*************************************************************************

 Copyright (c) 2024 by CNRS/LESIA

 This software is copyrighted by and is the sole property of CNRS/LESIA.
 All rights, title, ownership, or other interests in the software remain
 the property of CNRS/LESIA.
 This software may only be used in accordance with the corresponding
 license agreement. Any unauthorized use, duplication, transmission,
 distribution, or disclosure of this software is expressly forbidden.

 This Copyright notice may not be removed or modified without prior
 written consent of CNRS/LESIA.


 LESIA
 Observatoire de Meudon
 5 place Jules Janssen
 92195 Meudon
 http://www.lesia.obspm.fr/-Logiciels-embarques-.html
 *************************************************************************/

/************************************************************************

 GericosCore Component

 GscTimingExecutionEventEnum.hpp

 $Rev: 0 $

 ************************************************************************/

/************************************************************************

 COMPONENT DEFINITION

 GscTimingExecutionEventEnum.hpp

 AUTHOR

 LeeRoy MALAC-ALLAIN 	, LESIA.

 DESCRIPTION

 This file defines the enum used to set in GscTimingExecutionTrace the type of event to record.


 ************************************************************************/

#ifndef ICQ_TIMING_EXECUTION_EVENT_ENUM_H_
#define ICQ_TIMING_EXECUTION_EVENT_ENUM_H_

/**
 * This file defines the enum used to set in icq_timing_execution_trace the type of event to record.
 */
enum icq_timing_execution_event_enum {
	STOPPED = 0,
	EXECUTING = 1,
	MESSAGE_RECEIVED = 2,
	MESSAGE_SENT = 3,
	PRIORITY_MESSAGE_RECEIVED = 4,
	PRIORITY_MESSAGE_SENT = 5,
	MESSAGE_PROCESSING_START = 6,
	MESSAGE_PROCESSING_END = 7,
	SPIN_LOCK_START = 8,
	SPIN_LOCK_END = 9,
	SPIN_UNLOCK = 10,
	SHARED_RESOURCE_LOCK_START = 11,
	SHARED_RESOURCE_LOCK_END = 12,
	SHARED_RESOURCE_UNLOCK = 13,
	WAIT_FOR_SIGNAL_START = 14,
	WAIT_FOR_SIGNAL_END = 15,
	RAISE_SIGNAL = 16,
	IRQ_START = 17,
	IRQ_END = 18,
	TIMER_START = 19,
	TIMER_END = 20
};


#endif /* ICQ_TIMING_EXECUTION_EVENT_ENUM_H_ */