Hi Randy,
Do you mean the definition of IRQn_Type under device/MK64F12.h?

Best Regards,
Robin
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------