Searched refs:check_obsolete_chosen_interrupt_controller (Results 1 – 1 of 1) sorted by relevance
1067 static void check_obsolete_chosen_interrupt_controller(struct check *c, in check_obsolete_chosen_interrupt_controller() function1089 check_obsolete_chosen_interrupt_controller, NULL);
