VfCheckPagePriority

VOID __fastcall VfCheckPagePriority(_MM_PAGE_PRIORITY Priority, VOID *CallerAddress){
  UINT64 v3; 
  if( (MmVerifierData & 0x2000000) != 0 && (Priority & 0x40000000) == 0 )
  {
    v3 = Priority;
    ViCiPreprocessOptions(
      &byte_140C12C80,
      "The caller 0x%p specified an executable MDL mapping(priority 0x%x).",
      0x2002ui64,
      (UINT64)CallerAddress,
      Priority,
      0i64);
    VfReportIssueWithOptions(0xC4ui64, 0x2002ui64, (UINT64)CallerAddress, v3, 0i64, &byte_140C12C80);
    if( (MmVerifierData & 0x1000) != 0 )
      ViTargetIncrementCounter(CallerAddress, 0x118ui64);
    _InterlockedIncrement(&dword_140C2A6B8);
  }
}

Referenced by:

VerifierMmMapLockedPagesSpecifyCache
VfCheckNxPagePriority