blob: 56e6296c9490957e2a789606a4fa3a853b7274a2 (
plain)
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
|
/*
* 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
*/
#ifndef _I386AT_IDT_
#define _I386AT_IDT_
/* On a standard PC, we only need 16 interrupt vectors,
because that's all the PIC hardware supports. */
/* XX But for some reason we program the PIC
to use vectors 0x40-0x4f rather than 0x20-0x2f. Fix. */
#define IDTSZ (0x20+0x20+0x10)
#define PIC_INT_BASE 0x40
#include <i386/idt-gen.h>
#ifndef __ASSEMBLER__
extern void idt_init (void);
#endif /* __ASSEMBLER__ */
#endif /* _I386AT_IDT_ */
|
