Compiler/MSP432P401R: Cannot set MCLK to 48MHz

#include "msp.h"
#include <ti/devices/msp432p4xx/driverlib/driverlib.h>
#include <ti/devices/msp432p4xx/driverlib/timer_a.h>
#include <ti/devices/msp432p4xx/driverlib/cs.h>
#include <stdint.h>
#include <stdbool.h>

Timer_A_PWMConfig pwmConfig = {
    TIMER_A_CLOCKSOURCE_SMCLK, //select SMCLK as clock source
    TIMER_A_CLOCKSOURCE_DIVIDER_1, //divider is 1
    10, // period is 32000 ticks, actual period is 32000/CLK freq
    TIMER_A_CAPTURECOMPARE_REGISTER_1,
    TIMER_A_OUTPUTMODE_RESET_SET,
    5 // duty cycle
};

uint32_t freqMCLK, freqSMCLK;


void main(void)
{
    /* Halting the watchdog */
    MAP_WDT_A_holdTimer();


    //MAP_PCM_setPowerState(PCM_AM_LDO_VCORE1);

    CS_setExternalClockSourceFrequency(32000, 48000000); //set LFXTCLK to 32KHz and set HFXTCLK to 48MHz
    /* we have to change VCORE to 1 to support the 48MHz frequency */
    MAP_PCM_setPowerState(PCM_AM_LDO_VCORE1); // Active Mode, Low Drop Out, VCORE0; see datasheet pg. 353 Table 7-1
    MAP_CS_initClockSignal(CS_MCLK, CS_HFXTCLK_SELECT,CS_CLOCK_DIVIDER_1); //set MCLK to 48MHz
    freqMCLK = CS_getMCLK();
    MAP_CS_initClockSignal(CS_SMCLK, CS_MODOSC_SELECT, CS_CLOCK_DIVIDER_1); //set SMCLK to 24MHz

    freqSMCLK = CS_getSMCLK();

    /* Configuring GPIO2.4 as peripheral output for PWM and P6.7 for button interrupt */
    MAP_GPIO_setAsPeripheralModuleFunctionOutputPin(GPIO_PORT_P2, GPIO_PIN4, GPIO_PRIMARY_MODULE_FUNCTION);
    MAP_GPIO_setAsInputPinWithPullUpResistor(GPIO_PORT_P1, GPIO_PIN1);
    MAP_GPIO_clearInterruptFlag(GPIO_PORT_P1, GPIO_PIN1); MAP_GPIO_enableInterrupt(GPIO_PORT_P1, GPIO_PIN1);

    /* Configuring Timer_A to have a period of approximately 500ms and
     * an initial duty cycle of 10% of that (3200 ticks) */
    MAP_Timer_A_generatePWM(TIMER_A0_BASE, &pwmConfig);

    while (1) {

    }

}