Searched refs:find_controller (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/lib/int_route/server/
H A Dstandalone_armv7.c70 static struct controller_driver *find_controller(const char *label, function
139 struct controller_driver * gic_dist = find_controller(NULL, class);
H A Dinit.c70 static struct controller_driver * find_controller(char * label, char * class){ function
230 struct controller_driver * dest = find_controller(lbl, class);
/barrelfish-master/usr/skb/programs/
H A Dirq_routing_new.pl347 find_controller(InPort, CtrlLabel) :-
360 find_controller(InPort, CtrlLabel),

Completed in 51 milliseconds