Fix: x32 kernel failed to build

This commit is contained in:
Alex 2023-03-19 21:58:10 +02:00
parent 7014ec99ed
commit 930b11a400
Signed by untrusted user who does not match committer: enderice2
GPG Key ID: EACC3AD603BAB4DD

View File

@ -19,36 +19,28 @@ namespace FXSR
{
void _fxsave(void *mem_addr)
{
#ifdef a64
__builtin_ia32_fxsave(mem_addr);
#endif
}
void _fxrstor(void *mem_addr)
{
#ifdef a64
__builtin_ia32_fxrstor(mem_addr);
#endif
}
void _fxsave64(void *mem_addr)
{
#ifdef a64
asmv("fxsaveq (%0)"
:
: "r"(mem_addr)
: "memory");
#endif
}
void _fxrstor64(void *mem_addr)
{
#ifdef a64
asmv("fxrstorq (%0)"
:
: "r"(mem_addr)
: "memory");
#endif
}
}