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

#ifndef TOPPERS_CHIP_RENAME_H
#define TOPPERS_CHIP_RENAME_H

/*
 *  chip_kernel_impl.c
 */
#define chip_initialize				_kernel_chip_initialize
#define chip_terminate				_kernel_chip_terminate

/*
 *  chip_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


#ifdef TOPPERS_LABEL_ASM

/*
 *  chip_kernel_impl.c
 */
#define _chip_initialize			__kernel_chip_initialize
#define _chip_terminate				__kernel_chip_terminate

/*
 *  chip_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


#endif /* TOPPERS_LABEL_ASM */

#include "core_rename.h"

#endif /* TOPPERS_CHIP_RENAME_H */