source: UsbWattMeter/trunk/asp_dcre/arch/rx630_ccrx/prc_cfg1_out.h@ 167

/*
 *              cfg1_out.cのリンクに必要なスタブの定義
 */

void sta_ker( void )
{
}

void hardware_init_hook( void )
{
}

void software_init_hook( void )
{
}

const SIZE              _kernel_istksz = 0;

STK_T *const    _kernel_istk = NULL;

/*
 *  オフセットファイルを生成するための定義
 */
const uint8_t   MAGIC_1 = 0x12;
const uint16_t  MAGIC_2 = 0x1234;
const uint32_t  MAGIC_4 = 0x12345678;

const TCB       TCB_enatex = {
        { NULL, NULL },                 /* task_queue */
        NULL,                                   /* p_tinib */
        0U,                                             /* tstat */
#ifdef TOPPERS_SUPPORT_MUTEX
        0U,                                             /* bpriority */
#endif /* TOPPERS_SUPPORT_MUTEX */
        0U,                                             /* priority */
        false,                                  /* acqeue */
        false,                                  /* wupque */
        true,                                   /* enatex */
        0U,                                             /* texptn */
        NULL,                                   /* p_winifo */
#ifdef TOPPERS_SUPPORT_MUTEX
        { NULL, NULL },                 /* mutex_queue */
#endif /* TOPPERS_SUPPORT_MUTEX */
#ifdef TOPPERS_SUPPORT_OVRHDR
        0U,                                             /* leftotm */
#endif /* TOPPERS_SUPPORT_OVRHDR */
        { NULL, NULL }                  /* tskctxb */
};