Searched refs:alternative_instructions (Results 1 – 3 of 3) sorted by relevance
417 void __init alternative_instructions(void) in alternative_instructions() function
1800 alternative_instructions(); in __start_xen()
28 extern void alternative_instructions(void);
Completed in 7 milliseconds