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