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

#ifndef TOPPERS_CHIP_RENAME_H
#define TOPPERS_CHIP_RENAME_H

/*
 *  chip_config.c
 */
#define current_intpri				_kernel_current_intpri
#define chip_initialize				_kernel_chip_initialize
#define chip_terminate				_kernel_chip_terminate
#define x_config_int				_kernel_x_config_int
#define chip_mask_interrupt			_kernel_chip_mask_interrupt
#define chip_unmask_interrupt		_kernel_chip_unmask_interrupt

/*
 *  chip_support.S
 */
#define chip_exc_entry				_kernel_chip_exc_entry
#define chip_int_entry				_kernel_chip_int_entry
#define chip_fiq_entry				_kernel_chip_fiq_entry

/*
 *  kernel_cfg.c
 */
#define intpri_table				_kernel_intpri_table
#define iipm_mask_table				_kernel_iipm_mask_table
#define inh_table					_kernel_inh_table
#define exc_table					_kernel_exc_table


#ifdef TOPPERS_LABEL_ASM

/*
 *  chip_config.c
 */
#define _current_intpri				__kernel_current_intpri
#define _chip_initialize			__kernel_chip_initialize
#define _chip_terminate				__kernel_chip_terminate
#define _x_config_int				__kernel_x_config_int
#define _chip_mask_interrupt		__kernel_chip_mask_interrupt
#define _chip_unmask_interrupt		__kernel_chip_unmask_interrupt

/*
 *  chip_support.S
 */
#define _chip_exc_entry				__kernel_chip_exc_entry
#define _chip_int_entry				__kernel_chip_int_entry
#define _chip_fiq_entry				__kernel_chip_fiq_entry

/*
 *  kernel_cfg.c
 */
#define _intpri_table				__kernel_intpri_table
#define _iipm_mask_table			__kernel_iipm_mask_table
#define _inh_table					__kernel_inh_table
#define _exc_table					__kernel_exc_table


#endif /* TOPPERS_LABEL_ASM */

#include "arm64_gcc/common/core_rename.h"

#endif /* TOPPERS_CHIP_RENAME_H */