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