Use the simplelink wrappers instead. This is one step further towards having a single module for the cc3200 and the cc3100.
This is how it should be, so one knows exactly where the includes are coming from.
The port currently implements support for GPIO, RTC, ExtInt and the WiFi subsystem. A small file system is available in the serial flash. A bootloader which makes OTA updates possible, is also part of this initial implementation.