HalpInterruptStubService

CHAR __stdcall HalpInterruptStubService(){
  DbgPrintEx(0x65u, 0, "Stub\n");
  return 0;
}

Referenced by: