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

#ifndef _SYS_RENAME_H_
#define _SYS_RENAME_H_

#define board_id        _kernel_board_id
#define board_addr      _kernel_board_addr

#ifdef LABEL_ASM

#define _board_id       __kernel_board_id
#define _board_addr     __kernel_board_addr

#endif /* LABEL_ASM */
#endif /* _SYS_RENAME_H_ */
