source: target/dve68k_gcc/target.tf

$ 
$               ¥Ñ¥¹2€Î¥¿¡Œ¥²¥Ã¥È°Íž¥Æ¥ó¥×¥ì¡Œ¥È¡ÊDVE68K/40ÍÑ¡Ë
$ 

$ 
$  ATT_ISR€Ç»ÈÍрǀ­€ë³ä¹þ€ßÈÖ¹æ€È€œ€ì€ËÂбþ€¹€ë³ä¹þ€ß¥Ï¥ó¥É¥éÈÖ¹æ
$ 
$INTNO_ATTISR_VALID = { 1,2,...,7;9,10,...,16;17,18,...,24 }$
$INHNO_ATTISR_VALID = { 0x47,0x46,...,0x41;0x4f,0x4e,...,0x48;
                                                0x57,0x56,...,0x50 }$

$ 
$  DEF_INT¡¿DEF_EXC€Ç»ÈÍрǀ­€ë³ä¹þ€ß¥Ï¥ó¥É¥éÈֹ桿CPUÎã³°¥Ï¥ó¥É¥éÈÖ¹æ
$ 
$INHNO_DEFINH_VALID = { 0x10,0x11,...,0x1f;0x40,0x41,...,0xff }$
$EXCNO_DEFEXC_VALID = { 0x02,0x03,...,0x0f;0x20,0x21,...,0x3f }$

$ 
$  CFG_INT€Ç»ÈÍрǀ­€ë³ä¹þ€ßÈÖ¹æ€È³ä¹þ€ßÍ¥ÀèÅÙ
$ 
$INTNO_CFGINT_VALID = { 1,2,...,7;9,10,...,31 }$
$INTPRI_CFGINT_VALID = { -7,-6,...,-1 }$

$ 
$  Éžœà¥Æ¥ó¥×¥ì¡Œ¥È¥Õ¥¡¥€¥ë€Î¥€¥ó¥¯¥ë¡Œ¥É
$ 
$INCLUDE "kernel/kernel.tf"$

/*$NL$
$SPC$*  Target-dependent Definitions (DVE68K/40)$NL$
$SPC$*/$NL$
$NL$

$ 
$   CFG_INT€Î¥¿¡Œ¥²¥Ã¥È°Íž€Î¥š¥é¡Œ¥Á¥§¥Ã¥¯€È_kernel_bitpat_cfgint€ÎÀžÀ®
$ 
$bitpat_cfgint = 0$

$FOREACH intno INT.ORDER_LIST$
        $bitpat = (1 << (32 - INT.INTNO[intno]))$
        $bitpat_cfgint = bitpat_cfgint | bitpat$

        $IF (bitpat & DGA_INT_TRG_LEVEL) != 0$
                $IF (INT.INTATR[intno] & TA_EDGE) != 0$
                        $ERROR INT.TEXT_LINE[intno]$E_RSATR: $FORMAT("Edge trigger (TA_EDGE) is not supported for intno `%1%\' in CFG_INT", INT.INTNO[intno])$$END$
                $END$
        $ELSE$
        $IF (bitpat & DGA_INT_TRG_EDGE) != 0$
                $IF (INT.INTATR[intno] & TA_EDGE) == 0$
                        $ERROR INT.TEXT_LINE[intno]$E_RSATR: $FORMAT("Level trigger is not supported for intno `%1%\' in CFG_INT", INT.INTNO[intno])$$END$
                $END$
        $END$
        $END$
$END$
const uint32_t  _kernel_bitpat_cfgint = UINT32_C($FORMAT("0x%08x", bitpat_cfgint)$);
$NL$