VfCheckPagePriority

VOID __stdcall VfCheckPagePriority(_MM_PAGE_PRIORITY Priority, VOID *CallerAddress){
  UINT64 v4; 

  if( (MmVerifierData & 0x2000000) != 0 && (Priority & 0x40000000) == 0 )
  {
    ViCiPreprocessOptions(
      (UINT64 *)((char *)&qword_140C12C7C + 4),
      (CHAR *)"The caller 0x%p specified an executable MDL mapping(priority 0x%x).",
      0x2002ui64,
      (UINT64)CallerAddress,
      Priority,
      0i64,
      v4);
    VfReportIssueWithOptions(
      0xC4ui64,
      0x2002u,
      (ULONG_PTR)CallerAddress,
      Priority,
      0,
      (UINT64 *)((char *)&qword_140C12C7C + 4));
    if( (MmVerifierData & 0x1000) != 0 )
      ViTargetIncrementCounter(CallerAddress, 0x118ui64);
    _InterlockedIncrement(&dword_140C2A6B8);
  }
}

Referenced by:

VerifierMmMapLockedPagesSpecifyCache
VfCheckNxPagePriority