/* This file is generated from target_rename.def by genrename. */

#ifndef TOPPERS_TARGET_RENAME_H
#define TOPPERS_TARGET_RENAME_H


/*
 * target_kernel_impl.c
 */
#define target_initialize			_kernel_target_initialize
#define target_exit					_kernel_target_exit

/*
 * target_timer.c
 */
#define target_hrt_initialize		_kernel_target_hrt_initialize
#define target_hrt_terminate		_kernel_target_hrt_terminate
#define target_hrt_handler			_kernel_target_hrt_handler
#define target_hrt_get_current		_kernel_target_hrt_get_current
#define target_hrt_set_event		_kernel_target_hrt_set_event
#define target_hrt_raise_event		_kernel_target_hrt_raise_event

#ifdef TOPPERS_LABEL_ASM


/*
 * target_kernel_impl.c
 */
#define _target_initialize			__kernel_target_initialize
#define _target_exit				__kernel_target_exit

/*
 * target_timer.c
 */
#define _target_hrt_initialize		__kernel_target_hrt_initialize
#define _target_hrt_terminate		__kernel_target_hrt_terminate
#define _target_hrt_handler			__kernel_target_hrt_handler
#define _target_hrt_get_current		__kernel_target_hrt_get_current
#define _target_hrt_set_event		__kernel_target_hrt_set_event
#define _target_hrt_raise_event		__kernel_target_hrt_raise_event

#endif /* TOPPERS_LABEL_ASM */

#include "arm_m_gcc/common/core_rename.h"

#endif /* TOPPERS_TARGET_RENAME_H */