VOID __stdcall HvlRestoreEnlightenment(){
char v0;
NTSTATUS v1;
int v2;
HvlEnlightenments = HvlpEnlightenments;
if( v0 == 1 && (HvlpFlags & 2) == 0 )
{
v1 = HvlpTryConfigureInterface(0i64);
if( v1 < 0 )
KeBugCheckEx(0x20001u, v1, 0i64, 0i64, 0i64);
v2 = HvlpPhase0Enlightenments();
if( v2 < 0 )
KeBugCheckEx(0x20001u, v2, 0i64, 0i64, 0i64);
}
}