UARTprintf causing FaultISR

Hi, 

I am working on a customized board with TM4C1290 with CCSV6.

when I use UARTCharPut(UART0_BASE, 'A');

I can see an output on the console, but if I used UARTprintf("\nConsole test!\n");

the program goes into faultISR

here is the code

#include<stdbool.h>
#include <stdint.h>
#include "inc/hw_memmap.h"
#include "inc/hw_types.h"
#include "driverlib/debug.h"
#include "driverlib/sysctl.h"
#include "driverlib/gpio.h"
#include "driverlib/sysctl.h"
#include "driverlib/uart.h"
#include "driverlib/pin_map.h"
#include "driverlib/adc.h"
#include "utils/uartstdio.h"
#include "driverlib/pwm.h"


uint32_t ui32SysClkFreq = 0;

void InitConsole(void)
{
	SysCtlPeripheralEnable(SYSCTL_PERIPH_UART0);
	SysCtlPeripheralEnable(SYSCTL_PERIPH_GPIOA);

	GPIOPinConfigure(GPIO_PA0_U0RX);
	GPIOPinConfigure(GPIO_PA1_U0TX);
	GPIOPinTypeUART(GPIO_PORTA_BASE, GPIO_PIN_0 | GPIO_PIN_1);

	UARTConfigSetExpClk(UART0_BASE, ui32SysClkFreq, 115200,(UART_CONFIG_WLEN_8 |
			UART_CONFIG_STOP_ONE | UART_CONFIG_PAR_NONE));

	UARTStdioConfig(0,115200,ui32SysClkFreq);
}


int main(void) {


	ui32SysClkFreq = SysCtlClockFreqSet((SYSCTL_XTAL_25MHZ |  SYSCTL_OSC_MAIN | SYSCTL_USE_PLL | SYSCTL_CFG_VCO_480), 120000000);
	InitConsole();

	UARTprintf("\nConsole test!\n");

	//UARTCharPut(UART0_BASE, 'A');


	while(1);



	return 0;

}

Thanks.