MiIsKernelHalPadSection

BOOL __fastcall MiIsKernelHalPadSection(INT64 a1){
  return(*(_DWORD *)(a1 + 36) & 0x2000000) != 0
      && *(_BYTE *)a1 == 80
      && *(_BYTE *)(a1 + 1) == 97
      && *(_BYTE *)(a1 + 2) == 100
      && (unsigned __int8)(*(_BYTE *)(a1 + 3) - 48) <= 9u;
}

Referenced by:

MiFreeKernelPadSections
MiSnapDriverRange