Remove unused input parameter from km_tipc_shutdown.

Test: N/A
Bug: None
Change-Id: I38aee9cdd698c1a375057950b55e7558fae61926
diff --git a/ql-tipc/include/trusty/keymaster.h b/ql-tipc/include/trusty/keymaster.h
index 57762d0..b0deb18 100644
--- a/ql-tipc/include/trusty/keymaster.h
+++ b/ql-tipc/include/trusty/keymaster.h
@@ -38,10 +38,8 @@
 
 /*
  * Shutdown Keymaster TIPC client.
- *
- * @dev: initialized with trusty_ipc_dev_create
  */
-void km_tipc_shutdown(struct trusty_ipc_dev* dev);
+void km_tipc_shutdown(void);
 
 /*
  * Set Keymaster boot parameters. Returns one of trusty_err.
diff --git a/ql-tipc/keymaster.c b/ql-tipc/keymaster.c
index a38c7ee..f69051e 100644
--- a/ql-tipc/keymaster.c
+++ b/ql-tipc/keymaster.c
@@ -293,7 +293,7 @@
     return TRUSTY_ERR_NONE;
 }
 
-void km_tipc_shutdown(struct trusty_ipc_dev* dev) {
+void km_tipc_shutdown(void) {
     if (!initialized)
         return;
     /* close channel */
diff --git a/test-runner/test-runner.c b/test-runner/test-runner.c
index 793103b..8fbb118 100644
--- a/test-runner/test-runner.c
+++ b/test-runner/test-runner.c
@@ -149,7 +149,7 @@
         log_msg("trusty_set_boot_params failed\n");
         return;
     }
-    km_tipc_shutdown(ipc_dev);
+    km_tipc_shutdown();
 
     ret = arch_start_secondary_cpus();
     if (ret) {