|
@@ -114,6 +114,15 @@ static void set_eit_vector_entries(void)
|
|
_flush_cache_copyback_all();
|
|
_flush_cache_copyback_all();
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+void abort(void)
|
|
|
|
+{
|
|
|
|
+ BUG();
|
|
|
|
+
|
|
|
|
+ /* if that doesn't kill us, halt */
|
|
|
|
+ panic("Oops failed to kill thread");
|
|
|
|
+}
|
|
|
|
+EXPORT_SYMBOL(abort);
|
|
|
|
+
|
|
void __init trap_init(void)
|
|
void __init trap_init(void)
|
|
{
|
|
{
|
|
set_eit_vector_entries();
|
|
set_eit_vector_entries();
|