/* This function effectively returns value of FDCAN_CCCR's INIT bit.  */
int fdcan_get_init_state(uint32_t canport)
/* This function effectively returns value of FDCAN_CCCR's INIT bit.  */
int fdcan_get_init_state(uint32_t canport)
{
	return ((FDCAN_CCCR(canport) & FDCAN_CCCR_INIT) == FDCAN_CCCR_INIT);
}