Fix typedef in psca_malloc parameter