| /** |
| * This file has no copyright assigned and is placed in the Public Domain. |
| * This file is part of the mingw-w64 runtime package. |
| * No warranty is given; refer to the file DISCLAIMER.PD within this package. |
| */ |
| |
| #include <intrin.h> |
| |
| /* Register sizes are different between 32/64 bit mode. |
| * So we have to do this for _WIN64 and _WIN32 seperatly. |
| */ |
| |
| #ifdef _WIN64 |
| unsigned __int64 __readcr3(void) |
| { |
| unsigned __int64 value; |
| __asm__ __volatile__ ( |
| "mov %%cr3, %[value]" |
| : [value] "=q" (value)); |
| return value; |
| } |
| #else |
| unsigned long __readcr3(void) |
| { |
| unsigned long value; |
| __asm__ __volatile__ ( |
| "mov %%cr3, %[value]" |
| : [value] "=q" (value)); |
| return value; |
| } |
| #endif |
| |
