1 /*- 2 * SPDX-License-Identifier: BSD-3-Clause 3 * 4 * Copyright (c) 1990 The Regents of the University of California. 5 * All rights reserved. 6 * 7 * This code is derived from software contributed to Berkeley by 8 * William Jolitz. 9 * 10 * Redistribution and use in source and binary forms, with or without 11 * modification, are permitted provided that the following conditions 12 * are met: 13 * 1. Redistributions of source code must retain the above copyright 14 * notice, this list of conditions and the following disclaimer. 15 * 2. Redistributions in binary form must reproduce the above copyright 16 * notice, this list of conditions and the following disclaimer in the 17 * documentation and/or other materials provided with the distribution. 18 * 3. Neither the name of the University nor the names of its contributors 19 * may be used to endorse or promote products derived from this software 20 * without specific prior written permission. 21 * 22 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND 23 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 24 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 25 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE 26 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 27 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 28 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 29 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 30 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 31 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 32 * SUCH DAMAGE. 33 */ 34 35 /* 36 * Floating Point Data Structures and Constants 37 * W. Jolitz 1/90 38 */ 39 40 #ifndef _MACHINE_FPU_H_ 41 #define _MACHINE_FPU_H_ 42 43 #include <x86/fpu.h> 44 45 #ifdef _KERNEL 46 47 struct fpu_kern_ctx; 48 49 #define PCB_USER_FPU(pcb) (((pcb)->pcb_flags & PCB_KERNFPU) == 0) 50 51 #define XSAVE_AREA_ALIGN 64 52 53 void fpudna(void); 54 void fpudrop(void); 55 void fpuexit(struct thread *td); 56 int fpuformat(void); 57 int fpugetregs(struct thread *td); 58 void fpuinit(void); 59 void fpurestore(void *addr); 60 void fpuresume(void *addr); 61 void fpusave(void *addr); 62 int fpusetregs(struct thread *td, struct savefpu *addr, 63 char *xfpustate, size_t xfpustate_size); 64 int fpusetxstate(struct thread *td, char *xfpustate, 65 size_t xfpustate_size); 66 void fpususpend(void *addr); 67 int fputrap_sse(void); 68 int fputrap_x87(void); 69 void fpuuserinited(struct thread *td); 70 struct fpu_kern_ctx *fpu_kern_alloc_ctx(u_int flags); 71 struct fpu_kern_ctx *fpu_kern_alloc_ctx_domain(int domain, u_int flags); 72 void fpu_kern_free_ctx(struct fpu_kern_ctx *ctx); 73 void fpu_kern_enter(struct thread *td, struct fpu_kern_ctx *ctx, 74 u_int flags); 75 int fpu_kern_leave(struct thread *td, struct fpu_kern_ctx *ctx); 76 int fpu_kern_thread(u_int flags); 77 int is_fpu_kern_thread(u_int flags); 78 79 struct savefpu *fpu_save_area_alloc(void); 80 void fpu_save_area_free(struct savefpu *fsa); 81 void fpu_save_area_reset(struct savefpu *fsa); 82 83 /* 84 * Flags for fpu_kern_alloc_ctx(), fpu_kern_enter() and fpu_kern_thread(). 85 */ 86 #define FPU_KERN_NORMAL 0x0000 87 #define FPU_KERN_NOWAIT 0x0001 88 #define FPU_KERN_KTHR 0x0002 89 #define FPU_KERN_NOCTX 0x0004 90 91 #endif 92 93 #endif /* !_MACHINE_FPU_H_ */ 94