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

/fuchsia/zircon/kernel/arch/x86/include/arch/x86/
H A Dregisters.h168 void x86_extended_register_init(void);
/fuchsia/zircon/kernel/arch/x86/
H A Dmp.cpp114 x86_extended_register_init();
H A Dregisters.cpp172 void x86_extended_register_init(void) { function

Completed in 28 milliseconds