Writes the value
Data to the CR3 register.
void writecr3( unsigned __int64 Data );
[in] The value to write to the CR3 register.
Header file <intrin.h>
This intrinsic is only available in kernel mode, and the routine is only available as an intrinsic.
END Microsoft Specific