VOID __stdcall VfFailSystemBIOS(
UINT64 BugCheckMajorCode,
UINT64 BugCheckMinorCode,
VF_FAILURE_CLASS FailureClass,
UINT64 *AssertionControl,
INT8 *DebuggerMessageText,
INT8 *ParameterFormatString){
UINT64 v6;
if( ViDdiInitialized )
{
if( (MmVerifierData & 0x40000000) != 0 )
VerifierBugCheckIfAppropriate(BugCheckMajorCode, BugCheckMinorCode, 0, 0, 0, v6);
}
}