Thanks, that was exactly what I needed! Here's my line for NVIC_SET_PRIORITY, since that's not currently implemented in mk20dx128.h:
#define NVIC_SET_PRIORITY(n, p) (*((volatile uint8_t *)0xE000E400 + n) = p << 4)
I'm not completely certain that's right, for three reasons. First, I'm not...