Wrong type of arguments to snprintf

[ArielSAdamsNASA]

Describe the bug
Function call with incorrect argument type. This argument should be of type 'unsigned int' but is of type 'PCS_WIND_TCB *'.

Expected behavior
Same behavior, fix error

Code snips

PSP/fsw/mcp750-vxworks/src/cfe_psp_exception.c

Lines 205 to 206 in e3d28d8

	snprintf(ReasonBuf, ReasonSize, "Vector=0x%06X, vxWorks Task Name=%s, Task ID=0x%08X", Buffer->context_info.vector,
	TaskName, Buffer->sys_task_id);

System observed on:
VxWorks 6.9/MCP750

Additional context
From CodeQL
Use "%08lX" as the format and explicitly cast the argument as "(unsigned long)"

Reporter Info
Ariel Adams, MCSG Tech