HalpHvTimerSetInterruptVector

INT64 __fastcall HalpHvTimerSetInterruptVector(INT64 a1, UINT8 a2, INT64 a3){
  unsigned __int64 v3; 
  INT64 result; 
  LODWORD(a3) = *((_DWORD *)KeGetPcr() + 105);
  v3 = __readmsr(0x40000083u);
  if( (v3 & 1) == 0 )
    __writemsr(
      0x40000083u,
      *(_QWORD *)(a1 + 24 * a3 + 16) ^ ((unsigned __int16)v3 ^ (unsigned __int16)*(_QWORD *)(a1 + 24 * a3 + 16)) & 0xFFE | 1i64);
  __writemsr(0x40000093u, a2);
  result = 196616i64;
  *(_QWORD *)(a1 + 24 * a3) = 196616i64;
  __writemsr(0x400000B0u, 0x30008ui64);
  return result;
}

Referenced by: