SPM: Make exception info dump available to platform specific exceptions

Make the exception info dump macro available to platform specific
exception handlers.
Rename function ending in `_t`, which is used for typedefs.

Change-Id: I242218dc3a7555290151641269659058413bcc4e
Signed-off-by: Joakim Andersson <joakim.andersson@nordicsemi.no>
diff --git a/platform/ext/common/exception_info.c b/platform/ext/common/exception_info.c
index ef0f25a..68acc19 100644
--- a/platform/ext/common/exception_info.c
+++ b/platform/ext/common/exception_info.c
@@ -100,8 +100,8 @@
 #endif
 }
 
-static void dump_exception_info_t(bool stack_error,
-                                  struct exception_info_t *ctx)
+static void dump_exception_info(bool stack_error,
+                                struct exception_info_t *ctx)
 {
     SPMLOG_DBGMSG("Here is some context for the exception:\r\n");
     SPMLOG_DBGMSGVAL("    EXC_RETURN (LR): ", ctx->EXC_RETURN);
@@ -196,11 +196,17 @@
         SPMLOG_ERRMSG("UsageFault\r\n");
         stack_error = true;
         break;
+    case EXCEPTION_TYPE_PLATFORM:
+        SPMLOG_ERRMSG("Platform Exception\r\n");
+        /* Depends on the platform, assume it may cause stack error */
+        stack_error = true;
+        break;
     default:
         SPMLOG_ERRMSG("Unknown\r\n");
         break;
     }
-    dump_exception_info_t(stack_error, &exception_info);
+
+    dump_exception_info(stack_error, &exception_info);
 }
 
 void store_and_dump_context(uint32_t LR_in, uint32_t MSP_in, uint32_t PSP_in,