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

/fuchsia/zircon/kernel/arch/x86/include/arch/x86/
H A Dregisters.h179 void x86_extended_register_init_state(void* buffer);
184 /* Restore a state created by x86_extended_register_init_state or
/fuchsia/zircon/kernel/arch/x86/
H A Dthread.cpp55 x86_extended_register_init_state(t->arch.extended_register_state);
H A Dregisters.cpp342 void x86_extended_register_init_state(void* register_state) { function

Completed in 83 milliseconds