I rewrote the example (multi_rx.c) from the Stellarisware examples for Energia. When I saw that driverlib was taken from TivaWare, I reworked my sketch with the example from TivaWare. I was warned because TI states that TivaWare only works for the C-series.
/*****************************************************************************
// CANtest.ino - Peripheral example demonstrating multiple CAN message
// reception.
//
//*****************************************************************************
#include <inttypes.h>
//#include <stdbool.h>
//#include <stdint