KeQueryHighestNodeNumber

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