INT64 __stdcall IoQueryVhdBootInformation(VOID *UserBuffer, UINT64 BufferSize, UINT64 *RequiredSize){
_DWORD *v3;
_DWORD *v4;
unsigned int v5;
int v6;
v4 = v3;
v5 = 0;
*v3 = 0;
v6 = dword_140C122D0;
if( (unsigned int)RequiredSize < (unsigned int)dword_140C122D0 )
v5 = -1073741789;
else
memmove((UINT8 *)BufferSize, off_140C050D0, (unsigned int)dword_140C122D0);
*v4 = v6;
return v5;
}