/**
|
* Copyright (C) 2007-2012 Philippe Gerum.
|
*
|
* Xenomai is free software; you can redistribute it and/or
|
* modify it under the terms of the GNU General Public License as
|
* published by the Free Software Foundation, Inc., 675 Mass Ave,
|
* Cambridge MA 02139, USA; either version 2 of the License, or (at
|
* your option) any later version.
|
*
|
* Xenomai is distributed in the hope that it will be useful,
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
* General Public License for more details.
|
*
|
* You should have received a copy of the GNU General Public License
|
* along with this program; if not, write to the Free Software
|
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
|
* 02111-1307, USA.
|
*/
|
#include <asm/xenomai/machine.h>
|
#include <asm/xenomai/thread.h>
|
#include <asm/xenomai/syscall.h>
|
#include <asm/xenomai/smi.h>
|
#include <asm/xenomai/c1e.h>
|
|
static int mach_x86_init(void)
|
{
|
int ret;
|
|
ret = mach_x86_thread_init();
|
if (ret)
|
return ret;
|
|
mach_x86_c1e_disable();
|
mach_x86_smi_init();
|
mach_x86_smi_disable();
|
|
return 0;
|
}
|
|
static void mach_x86_cleanup(void)
|
{
|
mach_x86_smi_restore();
|
mach_x86_thread_cleanup();
|
}
|
|
static const char *const fault_labels[] = {
|
[0] = "Divide error",
|
[1] = "Debug",
|
[2] = "", /* NMI is not pipelined. */
|
[3] = "Int3",
|
[4] = "Overflow",
|
[5] = "Bounds",
|
[6] = "Invalid opcode",
|
[7] = "FPU not available",
|
[8] = "Double fault",
|
[9] = "FPU segment overrun",
|
[10] = "Invalid TSS",
|
[11] = "Segment not present",
|
[12] = "Stack segment",
|
[13] = "General protection",
|
[14] = "Page fault",
|
[15] = "Spurious interrupt",
|
[16] = "FPU error",
|
[17] = "Alignment check",
|
[18] = "Machine check",
|
[19] = "SIMD error",
|
[20] = NULL,
|
};
|
|
struct cobalt_machine cobalt_machine = {
|
.name = "x86",
|
.init = mach_x86_init,
|
.late_init = NULL,
|
.cleanup = mach_x86_cleanup,
|
.prefault = NULL,
|
.fault_labels = fault_labels,
|
};
|
