CHAR __fastcall HvlGetImplementedPhysicalBits(INT64 *a1){
int v2;
__int128 v4;
v4 = 0i64;
HviGetEnlightenmentInformation((__int32 *)&v4);
v2 = BYTE8(v4) & 0x7F;
if( (BYTE8(v4) & 0x7F) != 0 )
{
*(_DWORD *)a1 = v2;
LOBYTE(v2) = 1;
}
return v2;
}