Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/ide/rocqide/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 440 B image not shown  

Quelle  shared_WIN32.c.in   Sprache: unbekannt

 
Spracherkennung für: .in vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

#define _WIN32_WINNT 0x0501  /* Cf below, we restrict to  */

#include <caml/mlvalues.h>
#include <caml/memory.h>
#include <windows.h>

/* convert an OCaml pid (a process-local handle #) to a Win32 pid (global) */
CAMLprim value win32_cvtpid(value pseudopid) {
  CAMLparam1(pseudopid);
  HANDLE h;
  DWORD win32_pid;
  
  h = (HANDLE)(Long_val(pseudopid));
  win32_pid = GetProcessId(h);
  CAMLreturn(Val_int(win32_pid));
}

[ Dauer der Verarbeitung: 0.33 Sekunden  ]