KiReadKernelDr7

UINT64 __stdcall KiReadKernelDr7(){
  __int64 v0; 
  v0 = *((_QWORD *)KeGetCurrentPrcb() + 41);
  return v0 & -(__int64)((v0 & 0x355) != 0);
}

Referenced by:

KiSwInterruptDispatch