VERIFY_BUFFER_LOCKED

VOID __stdcall VERIFY_BUFFER_LOCKED(_MDL *Mdl){
  __int64 v2; 
  UINT64 v3; 

  v2 = Mdl->MdlFlags & 0x804;
  if( !MmAreMdlPagesLocked(Mdl) && !(_WORD)v2 )
  {
    ViHalPreprocessOptions(
      (UINT64 *)((char *)&qword_140C12CA4 + 4),
      (PSTR)"DMA Pages Not Locked! MDL %p for DMA not locked",
      0xEui64,
      (UINT64)Mdl,
      0i64,
      0i64,
      v3);
    VfReportIssueWithOptions(0xE6ui64, 0xEu, (ULONG_PTR)Mdl, 0, 0, (UINT64 *)((char *)&qword_140C12CA4 + 4));
  }
}

Referenced by: