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

/* This file is included only when chip_rename.h has been included. */
#ifdef TOPPERS_CHIP_RENAME_H
#undef TOPPERS_CHIP_RENAME_H

/*
 *  chip_config.c
 */
#undef current_intpri
#undef chip_initialize
#undef chip_terminate
#undef x_config_int
#undef chip_mask_interrupt
#undef chip_unmask_interrupt

/*
 *  chip_support.S
 */
#undef chip_exc_entry
#undef chip_int_entry
#undef chip_fiq_entry

/*
 *  kernel_cfg.c
 */
#undef intpri_table
#undef iipm_mask_table
#undef inh_table
#undef exc_table


#ifdef TOPPERS_LABEL_ASM

/*
 *  chip_config.c
 */
#undef _current_intpri
#undef _chip_initialize
#undef _chip_terminate
#undef _x_config_int
#undef _chip_mask_interrupt
#undef _chip_unmask_interrupt

/*
 *  chip_support.S
 */
#undef _chip_exc_entry
#undef _chip_int_entry
#undef _chip_fiq_entry

/*
 *  kernel_cfg.c
 */
#undef _intpri_table
#undef _iipm_mask_table
#undef _inh_table
#undef _exc_table


#endif /* TOPPERS_LABEL_ASM */

#include "arm64_gcc/common/core_unrename.h"

#endif /* TOPPERS_CHIP_RENAME_H */