• external_interrupt_trigger_t : interrupt.h
• interrupt_priority_t : interrupt.h
• master_clock_output_pin_t : frequency.h