HalpBlkApicRead

UINT64 __fastcall HalpBlkApicRead(INT64 a1){
  __int64 v1; 
  v1 = *(_QWORD *)KeGetPcr();
  if( *(_BYTE *)(v1 + 41) || *(_BYTE *)(v1 + 40) )
    return __readmsr(((int)a1 >> 4) + 2048);
  else
    return *(unsigned int *)((int)a1 + *(_QWORD *)(*(_QWORD *)KeGetPcr() + 32i64));
}

Referenced by: