1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
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
71
72
73
74
75
76
77
|
/*
* Copyright (c) 1994 The University of Utah and
* the Computer Systems Laboratory at the University of Utah (CSL).
* All rights reserved.
*
* Permission to use, copy, modify and distribute this software is hereby
* granted provided that (1) source code retains these copyright, permission,
* and disclaimer notices, and (2) redistributions including binaries
* reproduce the notices in supporting documentation, and (3) all advertising
* materials mentioning features or use of this software display the following
* acknowledgement: ``This product includes software developed by the
* Computer Systems Laboratory at the University of Utah.''
*
* THE UNIVERSITY OF UTAH AND CSL ALLOW FREE USE OF THIS SOFTWARE IN ITS "AS
* IS" CONDITION. THE UNIVERSITY OF UTAH AND CSL DISCLAIM ANY LIABILITY OF
* ANY KIND FOR ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
*
* CSL requests users of this software to return to csl-dist@cs.utah.edu any
* improvements that they make and grant CSL redistribution rights.
*
* Author: Bryan Ford, University of Utah CSL
*/
#include <i386at/idt.h>
#include <i386at/int_init.h>
#include <i386/mp_desc.h>
/* defined in locore.S */
extern vm_offset_t int_entry_table[];
static void
int_fill(struct real_gate *myidt)
{
int i;
#ifndef APIC
int base = PIC_INT_BASE;
int nirq = 16;
#else
int base = IOAPIC_INT_BASE;
int nirq = 24;
#endif
for (i = 0; i < nirq; i++) {
fill_idt_gate(myidt, base + i,
int_entry_table[i], KERNEL_CS,
ACC_PL_K|ACC_INTR_GATE, 0);
}
#if NCPUS > 1
fill_idt_gate(myidt, CALL_AST_CHECK,
int_entry_table[i], KERNEL_CS,
ACC_PL_K|ACC_INTR_GATE, 0);
i++;
fill_idt_gate(myidt, CALL_PMAP_UPDATE,
int_entry_table[i], KERNEL_CS,
ACC_PL_K|ACC_INTR_GATE, 0);
i++;
#endif
#ifdef APIC
fill_idt_gate(myidt, IOAPIC_SPURIOUS_BASE,
int_entry_table[i], KERNEL_CS,
ACC_PL_K|ACC_INTR_GATE, 0);
i++;
#endif
}
void
int_init(void)
{
int_fill(idt);
}
#if NCPUS > 1
void ap_int_init(int cpu)
{
int_fill(mp_desc_table[cpu]->idt);
}
#endif
|