GPIO_26 doesn't wake cc3200 from Hibernation

Hi everyone,

I'm encountering some troubles when I try to wake my CC3200 from Hibernation.

I wrote the function

void EnterHIBernate(int hibernation_time)
{
#define SLOW_CLK_FREQ (32*1024)

GPIO_IF_LedOff(MCU_GREEN_LED_GPIO);
GPIO_IF_LedOff(MCU_RED_LED_GPIO);

//
// Configure the HIB module RTC wake time
//
//MAP_PRCMHibernateIntervalSet(20 * SLOW_CLK_FREQ);
MAP_PRCMHibernateIntervalSet(hibernation_time* SLOW_CLK_FREQ);

//PRCM_HIB_GPIO26
//
// Enable the HIB RTC
//
MAP_PRCMHibernateWakeupSourceEnable(PRCM_HIB_SLOW_CLK_CTR);

//wake on GPIO_26
MAP_PRCMHibernateWakeUpGPIOSelect(PRCM_HIB_GPIO26,PRCM_HIB_HIGH_LEVEL);
MAP_PRCMHibernateWakeupSourceEnable(PRCM_HIB_GPIO26);

//DBG_PRINT("HIB: Entering HIBernate...\n\r");
//MAP_UtilsDelay(80000);

//
// Enter HIBernate mode
//
MAP_PRCMHibernateEnter();
}

This function put CC3200 in Hibernation for hibernation_time seconds.

When I set 1 the GPIO_26, first of hibernation_time seconds, from the launchpad, the CC3200 doesn't wake. It wake only after hibernation_seconds, even if I put the GPIO_26 to 1. 

I've tried with GPIO_13, using the button on the launchpad and it works, so, the code is correct, but why if I use GPIO_26 doesn't wake CC3200?

Thanks in advance