Searched refs:get_current_interrupt_type (Results 1 – 1 of 1) sorted by relevance
32 static const char *get_current_interrupt_type(void) in get_current_interrupt_type() function120 const char *type = get_current_interrupt_type(); in emit_log_message()