/* Writes and returns a new value to DR3. This function is only available on IA-32 and x64. This writes a 32-bit value on IA-32 and a 64-bit value on x64. */
UINTN EFIAPI AsmWriteDr3(IN UINTN Value)
/* Writes and returns a new value to DR3. This function is only available on IA-32 and x64. This writes a 32-bit value on IA-32 and a 64-bit value on x64. */
UINTN EFIAPI AsmWriteDr3(IN UINTN Value)
{
  _asm {
    mov     eax, Value
    mov     dr3, eax
  }
}