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>
48 * NB: The fields marked with (*) are used by kernel debuggers. Their
49 * ABI should be preserved.
52 register_t pcb_r15; /* (*) */
53 register_t pcb_r14; /* (*) */
54 register_t pcb_r13; /* (*) */
55 register_t pcb_r12; /* (*) */
56 register_t pcb_rbp; /* (*) */
57 register_t pcb_rsp; /* (*) */
58 register_t pcb_rbx; /* (*) */
59 register_t pcb_rip; /* (*) */
60 register_t pcb_fsbase;
61 register_t pcb_gsbase;
62 register_t pcb_kgsbase;
74 struct region_descriptor pcb_gdt;
75 struct region_descriptor pcb_idt;
76 struct region_descriptor pcb_ldt;
80 #define PCB_FULL_IRET 0x01 /* full iret is required */
81 #define PCB_DBREGS 0x02 /* process using debug registers */
82 #define PCB_KERNFPU 0x04 /* kernel uses fpu */
83 #define PCB_FPUINITDONE 0x08 /* fpu state is initialized */
84 #define PCB_USERFPUINITDONE 0x10 /* fpu user state is initialized */
85 #define PCB_32BIT 0x40 /* process has 32 bit context (segs etc) */
86 #define PCB_FPUNOSAVE 0x80 /* no save area for current FPU ctx */
88 uint16_t pcb_initial_fpucw;
90 /* copyin/out fault recovery */
93 uint64_t pcb_saved_ucr3;
95 /* local tss, with i/o bitmap; NULL for common */
96 struct amd64tss *pcb_tssp;
98 /* model specific registers */
101 register_t pcb_lstar;
102 register_t pcb_cstar;
103 register_t pcb_sfmask;
105 struct savefpu *pcb_save;
110 /* Per-CPU state saved during suspend and resume. */
114 /* fpu context for suspend/resume */
122 void clear_pcb_flags(struct pcb *pcb, const u_int flags);
123 void makectx(struct trapframe *, struct pcb *);
124 void set_pcb_flags(struct pcb *pcb, const u_int flags);
125 void set_pcb_flags_raw(struct pcb *pcb, const u_int flags);
126 int savectx(struct pcb *) __returns_twice;
127 void resumectx(struct pcb *);
129 /* Ensure that pcb_gsbase and pcb_fsbase are up to date */
130 #define update_pcb_bases(pcb) set_pcb_flags((pcb), PCB_FULL_IRET)
133 #endif /* _AMD64_PCB_H_ */