machine.c 2.03 KB
Newer Older
Philippe Gerum's avatar
Philippe Gerum committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
/**
 *   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>
21
#include <asm/xenomai/thread.h>
22
#include <asm/xenomai/syscall.h>
Philippe Gerum's avatar
Philippe Gerum committed
23
#include <asm/xenomai/smi.h>
24
#include <asm/xenomai/c1e.h>
Philippe Gerum's avatar
Philippe Gerum committed
25
26
27

static int mach_x86_init(void)
{
28
29
30
31
32
33
	int ret;

	ret = mach_x86_thread_init();
	if (ret)
		return ret;

34
	mach_x86_c1e_disable();
Philippe Gerum's avatar
Philippe Gerum committed
35
36
37
38
39
40
41
42
43
	mach_x86_smi_init();
	mach_x86_smi_disable();

	return 0;
}

static void mach_x86_cleanup(void)
{
	mach_x86_smi_restore();
44
	mach_x86_thread_cleanup();
Philippe Gerum's avatar
Philippe Gerum committed
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
}

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,
};

71
struct cobalt_machine cobalt_machine = {
Philippe Gerum's avatar
Philippe Gerum committed
72
73
	.name = "x86",
	.init = mach_x86_init,
74
	.late_init = NULL,
Philippe Gerum's avatar
Philippe Gerum committed
75
76
77
78
	.cleanup = mach_x86_cleanup,
	.prefault = NULL,
	.fault_labels = fault_labels,
};