Reads the CR4 register and returns its value.
unsigned __int64 __readcr4(void);
The value in the CR4 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