vkernel64: Do some more replacing amd64 -> x86_64.
[dragonfly.git] / sys / platform / vkernel64 / include / pcb_ext.h
1 /*-
2  * Copyright (c) 1997 Jonathan Lemon
3  * Copyright (c) 2008 The DragonFly Project.
4  * All rights reserved.
5  *
6  * Redistribution and use in source and binary forms, with or without
7  * modification, are permitted provided that the following conditions
8  * are met:
9  * 1. Redistributions of source code must retain the above copyright
10  *    notice, this list of conditions and the following disclaimer.
11  * 2. Redistributions in binary form must reproduce the above copyright
12  *    notice, this list of conditions and the following disclaimer in the
13  *    documentation and/or other materials provided with the distribution.
14  *
15  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
16  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
21  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
25  * SUCH DAMAGE.
26  *
27  * $FreeBSD: src/sys/i386/include/pcb_ext.h,v 1.4 1999/12/29 04:33:04 peter Exp $
28  */
29
30 #ifndef _MACHINE_PCB_EXT_H_
31 #define _MACHINE_PCB_EXT_H_
32
33 #ifndef _SYS_TYPES_H_
34 #include <sys/types.h>
35 #endif
36
37 /*
38  * Extension to the 386 process control block
39  */
40 #ifndef _MACHINE_TSS_H_
41 #include <machine/tss.h>
42 #endif
43 #ifndef _MACHINE_SEGMENTS_H_
44 #include <machine/segments.h>
45 #endif
46
47 struct pcb_ext {
48         struct  user_segment_descriptor ext_tssd;       /* tss descriptor */
49         struct  x86_64tss       ext_tss;        /* per-process x86_64tss */
50         caddr_t ext_iomap;              /* i/o permission bitmap */
51 };
52
53 /* JG remove this structure? */
54 struct pcb_ldt {
55         caddr_t ldt_base;
56         int     ldt_len;
57         int     ldt_refcnt;
58         u_long  ldt_active;
59         struct  user_segment_descriptor ldt_sd;
60 };
61
62 #ifdef _KERNEL
63
64 struct pcb;
65
66 void set_user_ldt (struct pcb *);
67 struct pcb_ldt *user_ldt_alloc (struct pcb *, int);
68 void user_ldt_free (struct pcb *);
69
70 #endif
71
72 #endif /* _MACHINE_PCB_EXT_H_ */