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