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