From 3176339ace472b6a27c8aa3d0774e8edef9509e9 Mon Sep 17 00:00:00 2001
From: jjak0b <32840785+jjak0b@users.noreply.github.com>
Date: Thu, 7 May 2020 13:58:06 +0200
Subject: [PATCH] Fix warning e typo #15

---
 src/handler/shared.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/handler/shared.c b/src/handler/shared.c
index 5dee6e4..68be02f 100644
--- a/src/handler/shared.c
+++ b/src/handler/shared.c
@@ -84,7 +84,7 @@ word Syscaller( state_t *state, word sysNo, word param1, word param2, word param
             break;
         case GETPID:
             b_hasReturnValue = TRUE;
-            *returnValue = (int) Sys8_GetPID( (void**)param1, (void**)param2 );
+            *returnValue = (int) Sys8_GetPID( (pcb_t**)param1, (pcb_t**)param2 );
             break;
         default: {
             state_t *area = GetSpecPassup( SYS_SPECPASSUP_TYPE_SYSBK );
@@ -110,7 +110,7 @@ void Sys1_GetCPUTime( state_t* currState, word *user, word *kernel, word *wallcl
 int Sys2_CreateProcess( state_t *child_state, int child_priority, pcb_t **child_pid ) {
     /* prima di eseguire viene controllata la validità dei puntatori forniti */
     if ( child_state && child_pid ) {
-        *child_pid = allocPCB(); /* il puntatore sarà nullo in caso non vi siano PCB disponibili */
+        *child_pid = allocPcb(); /* il puntatore sarà nullo in caso non vi siano PCB disponibili */
 
         if ( *child_pid ) {
             (*child_pid)->p_s = *child_state;