UINT64 __stdcall HvlGetLpIndexFromApicId(UINT64 ApicId){ WCHAR *LpcbByApicId; if( (HvlpFlags & 2) != 0 && (LpcbByApicId = HvlpGetLpcbByApicId(ApicId)) != 0i64 ) return *((unsigned int *)LpcbByApicId + 1); else return 0xFFFFFFFFi64; }