This both take a void*, so the casting is unnecessary to begin with, since this would occur anyway without it. We can also avoid a duplication to reduce line noise.
NoPad
ProcessorID