Searched refs:erts_restore_x87 (Results 1 – 3 of 3) sorted by relevance
167 static void erts_restore_x87(void) in erts_restore_x87() function178 erts_restore_x87(); in erts_check_x87()
174 static void erts_restore_x87(void) in erts_restore_x87() function185 erts_restore_x87(); in erts_check_x87()