[coreboot-gerrit] Change in coreboot[master]: soc/intel/common/block: Enable PMC IPC driver

[caveh jalali (Code Review)]

caveh jalali has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/37871 )

Change subject: soc/intel/common/block: Enable PMC IPC driver
......................................................................

Patch Set 13:

(1 comment)

https://review.coreboot.org/c/coreboot/+/37871/13/src/soc/intel/common/block... 
File src/soc/intel/common/block/pmc/pmclib.c:

https://review.coreboot.org/c/coreboot/+/37871/13/src/soc/intel/common/block... 
PS13, Line 636: uintptr_t
> I think the uses of (void *) are not correct. […]

does coreboot frown upon pointer arithmetic on void *?
do we need to enforce -Wpointer-arith?