ExCheckValidIRTimerId

INT64 __fastcall ExCheckValidIRTimerId(_MI_PAGE_COMBINING_SUPPORT *Pcs, INT64 a2, _MMPFN *InputPfn, INT64 a4, INT64 a5){
  INT64 result; 
  LOBYTE(result) = (unsigned __int16)Pcs < 0x10u
                && (result = LOBYTE(qword_1400022D0[3 * (unsigned __int16)Pcs]),
                    (unsigned __int16)a2 < (unsigned __int16)result);
  return result;
}

Referenced by:

KeInitializeIRTimer