How to use 32 bits timer in Edge-Count Mode ?

I'd like to count the VCXO clocks between PPS impulses but i cant to tune timer in the 24 or 32 bits mode

i want timer to reset to 0 when it is reached 512000

// Configure PIN_50 for TIMERCP5 GT_CCP00

MAP_PRCMPeripheralClkEnable(TIMER_PRCM, PRCM_RUN_MODE_CLK);
MAP_PinTypeGPIO(PIN_50, PIN_MODE_0, false);
MAP_GPIODirModeSet(GPIOA0_BASE, 0x01, GPIO_DIR_MODE_IN);
MAP_PinTypeTimer(TIMER_PIN, TIMER_MODE);
MAP_PinConfigSet(TIMER_PIN, PIN_TYPE_STD_PD, PIN_STRENGTH_6MA);

MAP_TimerPrescaleSet(TIMER_BASE, TIMER_A, 0xff);

// Configure the timer in Input Edge-Count Mode - Datasheet 9.3.2.2
MAP_TimerConfigure(TIMER_BASE, TIMER_CFG_SPLIT_PAIR | TIMER_CFG_A_CAP_COUNT_UP);

// Pos edges
MAP_TimerControlEvent(TIMER_BASE, TIMER_A, TIMER_EVENT_POS_EDGE);

// Set the reload value - 
MAP_TimerLoadSet(TIMER_BASE, TIMER_A, 512000);

// TimerValueSet(TIMER_BASE, TIMER_A, 0);

// Enable Timer
MAP_TimerEnable(TIMER_BASE, TIMER_A);

if i'm trying to get TimerValueGet(TIMER_BASE, TIMER_A)) in anywhere in my program i can see only 16 bits values:

for(int i = 0; i < 16; i++) {
PRINTF("(%02d) : %u\n", i, (u32)MAP_TimerValueGet(TIMER_BASE, TIMER_A));
delay_ms(25);
}

10746  20383 30021  39659  49296  56085  65321  1109

How to correct ?