2 * Copyright (c) 2003 Peter Wemm.
3 * Copyright (c) 1990 The Regents of the University of California.
6 * This code is derived from software contributed to Berkeley by
9 * Redistribution and use in source and binary forms, with or without
10 * modification, are permitted provided that the following conditions
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 * 2. Redistributions in binary form must reproduce the above copyright
15 * notice, this list of conditions and the following disclaimer in the
16 * documentation and/or other materials provided with the distribution.
17 * 4. Neither the name of the University nor the names of its contributors
18 * may be used to endorse or promote products derived from this software
19 * without specific prior written permission.
21 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
22 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
23 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
24 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
25 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
27 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
28 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
29 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
30 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
33 * from: @(#)pcb.h 5.10 (Berkeley) 5/12/91
41 * AMD64 process control block
43 #include <machine/fpu.h>
44 #include <machine/segments.h>
55 register_t pcb_fsbase;
56 register_t pcb_gsbase;
57 register_t pcb_kgsbase;
70 #define PCB_DBREGS 0x02 /* process using debug registers */
71 #define PCB_KERNFPU 0x04 /* kernel uses fpu */
72 #define PCB_FPUINITDONE 0x08 /* fpu state is initialized */
73 #define PCB_USERFPUINITDONE 0x10 /* fpu user state is initialized */
74 #define PCB_GS32BIT 0x20 /* linux gs switch */
75 #define PCB_32BIT 0x40 /* process has 32 bit context (segs etc) */
76 #define PCB_FULLCTX 0x80 /* full context restore on sysret */
78 uint16_t pcb_initial_fpucw;
80 caddr_t pcb_onfault; /* copyin/out fault recovery */
82 /* 32-bit segment descriptor */
83 struct user_segment_descriptor pcb_gs32sd;
84 /* local tss, with i/o bitmap; NULL for common */
85 struct amd64tss *pcb_tssp;
86 struct savefpu *pcb_save;
89 struct region_descriptor pcb_gdt;
90 struct region_descriptor pcb_idt;
91 struct region_descriptor pcb_ldt;
94 struct savefpu pcb_user_save;
100 void makectx(struct trapframe *, struct pcb *);
101 int savectx(struct pcb *);
104 #endif /* _AMD64_PCB_H_ */