Static Analysis: 'unsigned int' but is of type 'PCS_WIND_TCB *'

[astrogeco]

Describe the bug
See https://github.com/nasa/cFS/security/code-scanning/1?query=ref%3Arefs%2Fpull%2F193%2Fmerge

Detected in psp/fsw/mcp750-vxworks/src/cfe_psp_exception.c:208

Not sure we might want to dismiss it

To Reproduce
Run CodeQL

Code snips

[skliper]

It's not a cert issue, this would be open source resources please.

[skliper]

Reference is out of date, if you use the static analysis from main: https://github.com/nasa/PSP/security/code-scanning/36?query=ref%3Arefs%2Fheads%2Fmain

and

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

Lines 207 to 208 in a1a7e7a

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