_KPRCB *__stdcall HalpApicSetPriority(INT64 a1, UINT64 a2){
unsigned __int64 v2;
_KPRCB *result;
v2 = (unsigned int)a2;
((void(__fastcall *)(__int64, _QWORD))qword_140C50768)(128i64, (unsigned int)(16 * a2));
((void(__fastcall *)(__int64))qword_140C50760)(128i64);
result = KeGetCurrentPrcb();
if( result->CpuVendor == 1 )
__writecr8(v2);
return result;
}