2
* This file has no copyright assigned and is placed in the Public Domain.
3
* This file is part of the w64 mingw-runtime package.
4
* No warranty is given; refer to the file DISCLAIMER.PD within this package.
9
/* Register sizes are different between 32/64 bit mode.
10
* So we have to do this for _WIN64 and _WIN32 seperatly.
14
void __writecr3(unsigned __int64 Data)
16
__asm__ __volatile__ (
23
void __writecr3(unsigned Data)
25
__asm__ __volatile__ (