/*
 * trax_marker_tid.h
 *
 *  Created on: Aug 14, 2026
 *      Author: bemre
 */

#ifndef INC_TRAX_MARKER_TID_H_
#define INC_TRAX_MARKER_TID_H_

#include <trax.h>

enum trax_marker_tid_t{
	TRAX_MARKER_PROCESS_DEADLINE = TRAX_TID_RANGE_MARKER_USER_START,
};


#endif /* INC_TRAX_MARKER_TID_H_ */
