/* Register the Kinetis-specific FLEXCAN devices with the kernel  */
void __init kinetis_flexcan_init(void)
/* Register the Kinetis-specific FLEXCAN devices with the kernel  */
void __init kinetis_flexcan_init(void)
{
	flexcan_data.clock_frequency = kinetis_clock_get(CLOCK_PCLK);
	kinetis_flexcan_register(KINETIS_FLEXCAN0_BASE,
				 KINETIS_FLEXCAN0_IRQ, KINETIS_CG_FLEXCAN0, 0);
	kinetis_flexcan_register(KINETIS_FLEXCAN1_BASE,
				 KINETIS_FLEXCAN1_IRQ, KINETIS_CG_FLEXCAN1, 1);
}