I tried the same setup and did not work, i tried with and without EMT.
So I looked around in the libraries to see the pin configurations, I found a file called pins_energia.h in which I found the following structure:
const uint16_t digital_pin_to_pin_num[] = {
NOT_A_PIN, /* dummy */
NOT_A_PIN, /* 1 - 3.3V */
PIN_58, /* 2 - GPIO_03 */
PIN_04, /* 3 - GPIO_13 */
PIN_03, /* 4 - GPIO_12 */
PIN_61, /* 5 - GPIO_06 */
PIN_59, /* 6 - GPIO_04 */
PIN_05, /* 7 - GPIO_14 */
PIN_62, /* 8 - GPIO_07 */
PIN_01, /* 9 - GPIO_10 */
PIN_02, /* 10 - GPIO_11 */
PIN_15, /* 11 - GPIO_22 */