There are some threads about using interrupts on this forum, eg viewtopic.php?f=6&t=420
But I have not seen them used to wake from sleep.
You may need to look at the disassembly of the SDK lib to see what the deep sleep API call does, as it must be using a timer interrupt somehow.
Unfortunately the source code for the SDK in c is not available, and a lot of the functions in the API are undocumented, and there isn't even an official doc for the current version of the SDK