1 /*
2  * Copyright (c) 2009 Corey Tabaka
3  * Copyright (c) 2015 Intel Corporation
4  *
5  * Use of this source code is governed by a MIT-style
6  * license that can be found in the LICENSE file or at
7  * https://opensource.org/licenses/MIT
8  */
9 #pragma once
10 
11 #include <sys/types.h>
12 
13 struct arch_thread {
14     vaddr_t sp;
15 #if X86_WITH_FPU
16     vaddr_t *fpu_states;
17     uint8_t fpu_buffer[512 + 16];
18 #endif
19 };
20 
21