/* Reads and returns the current value of CR4. This function is only available on IA-32 and x64. This returns a 32-bit value on IA-32 and a 64-bit value on x64. */
UINTN EFIAPI AsmReadCr4(VOID)
/* Reads and returns the current value of CR4. This function is only available on IA-32 and x64. This returns a 32-bit value on IA-32 and a 64-bit value on x64. */
UINTN EFIAPI AsmReadCr4(VOID)
{
  __asm {
    _emit  0x0f
    _emit  0x20
    _emit  0xE0
  }
}