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

#ifndef _CPU_RENAME_H_
#define _CPU_RENAME_H_

#define activate_r		_kernel_activate_r
#define dispatch		_kernel_dispatch
#define dev_vector		_kernel_dev_vector
#define exc_vector		_kernel_exc_vector
#define device_dispatcher	_kernel_device_dispatcher
#define interrupt_dispatcher	_kernel_interrupt_dispatcher
#define task_context		_kernel_task_context



#ifdef LABEL_ASM

#define _activate_r		__kernel_activate_r
#define _dispatch		__kernel_dispatch
#define _dev_vector		__kernel_dev_vector
#define _exc_vector		__kernel_exc_vector
#define _device_dispatcher	__kernel_device_dispatcher
#define _interrupt_dispatcher	__kernel_interrupt_dispatcher
#define _task_context		__kernel_task_context



#endif /* LABEL_ASM */
#endif /* _CPU_RENAME_H_ */
