KeQueryHighestNodeNumber

VOID __fastcall KeQueryHighestNodeNumber(INT64 a1, INT64 a2){
  ;
}