Searched refs:alternative_branches (Results 1 – 3 of 3) sorted by relevance
423 void __init alternative_branches(void) in alternative_branches() function
1829 alternative_branches(); in __start_xen()
29 extern void alternative_branches(void);
Completed in 11 milliseconds