![]() |
MOS Source Code
|
#include "mos/x86/tasks/fpu_context.hpp"
#include "mos/platform/platform.hpp"
#include "mos/syslog/printk.hpp"
#include "mos/tasks/task_types.hpp"
#include <mos/allocator.hpp>
#include <mos_stdlib.hpp>
Go to the source code of this file.
Functions | |
void | x86_xsave_thread (Thread *thread) |
void | x86_xrstor_thread (Thread *thread) |
Variables | |
static const u64 | RFBM = ~0ULL |
const reg32_t | low = RFBM & 0xFFFFFFFF |
const reg32_t | high = RFBM >> 32 |
Definition at line 16 of file fpu_context.cpp.
Referenced by platform_switch_to_thread().
Definition at line 28 of file fpu_context.cpp.
Referenced by platform_switch_to_thread().
|
static |
Definition at line 12 of file fpu_context.cpp.
Definition at line 13 of file fpu_context.cpp.
Referenced by lapic_read64(), pb_encode_varint_32(), x86_xrstor_thread(), and x86_xsave_thread().
Definition at line 14 of file fpu_context.cpp.
Referenced by lapic_read64(), pb_encode_varint_32(), x86_xrstor_thread(), and x86_xsave_thread().