For posterity, I wanted to decrease the priority of an interrupt attached to pin 35. So I added this to my setup():
IOMUXC_GPR_GPR27 = 0xEFFFFFFF;
digital_pin_to_info_PGM[35] = {&GPIO2_DR, &CORE_PIN35_CONFIG, &CORE_PIN35_PADCONFIG, CORE_PIN35_BITMASK};
And as a quick hack, I copied the...