CC3200: How to enter low power modes while using Wi-Fi examples

Part Number:CC3200

Hi, I use the CC3200 launchpad rev 4.1.

I use the HTTP server example from SDK 1.2.0 and Service Pack 1.0.1.6-2.7.0.0.

// In main.c, start OS Scheduler, I do not use RTOS
    //
    osi_start();

    while (1) // No WFE or WFI
    {

    }

I expected to use the WFE (Wait For Event) or WFI (Wait For Interrupt) in the while loop to save current consumptions.

In my case, I changed the example a bit; I use both Wi-Fi and PWM.

I wish the CC3200 to sleep in the while loop and wake up when radio events or PWM events occurs.

Is there an example to wake up when using Wi-Fi?

The Wiki explains the RTC wake-up. However, I cannot determine whether the RTC wake-up is related to my desire above.