[SQUASH] remove getpid

mkroening · mkroening · commit 7f7795f84430 · 2024-05-22T14:56:55.000+02:00
Signed-off-by: Martin Kröning &lt;martin.kroening@eonerc.rwth-aachen.de&gt;
diff --git a/src/hermit.rs b/src/hermit.rs
@@ -298,9 +298,6 @@ extern "C" {
     #[link_name = "sys_available_parallelism"]
     pub fn available_parallelism() -> usize;
 
-    #[link_name = "sys_getpid"]
-    pub fn getpid() -> pid_t;
-
     #[link_name = "sys_futex_wait"]
     pub fn futex_wait(
         address: *mut u32,
