New Defects reported by Coverity Scan for coreboot

Hi,

Please find the latest report on new defect(s) introduced to coreboot found with Coverity Scan.

1 new defect(s) introduced to coreboot found with Coverity Scan.

New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)

** CID 1488487:  Integer handling issues  (CONSTANT_EXPRESSION_RESULT)
/src/soc/amd/common/block/psp/psp_gen2.c: 57 in wr_mbox_buffer_ptr()

________________________________________________________________________________________________________
*** CID 1488487:  Integer handling issues  (CONSTANT_EXPRESSION_RESULT)
/src/soc/amd/common/block/psp/psp_gen2.c: 57 in wr_mbox_buffer_ptr()
51     	tmp.val = smn_read32(SMN_PSP_PUBLIC_BASE + PSP_MAILBOX_COMMAND_OFFSET);
52     	return !!tmp.fields.recovery;
53     }
54     
55     static void wr_mbox_buffer_ptr(void *buffer)
56     {
> > > CID 1488487:  Integer handling issues  (CONSTANT_EXPRESSION_RESULT)
> > > "(uint64_t)(uintptr_t)buffer >> 32" is 0 regardless of the values of its operands. This occurs as an initializer.

57     	const uint32_t buf_addr_h = (uint64_t)(uintptr_t)buffer >> 32;
58     	const uint32_t buf_addr_l = (uint64_t)(uintptr_t)buffer & 0xffffffff;
59     	smn_write32(SMN_PSP_PUBLIC_BASE + PSP_MAILBOX_BUFFER_H_OFFSET, buf_addr_h);
60     	smn_write32(SMN_PSP_PUBLIC_BASE + PSP_MAILBOX_BUFFER_L_OFFSET, buf_addr_l);
61     }
62

________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0...