Hi Peter,
Yes, you can use those pins for PWM.
For the S12ZVLA128 MCU, there are two PWM modules PWM0 and PWM1 available. You can see channel mapping in the reference manual Figure 1-8.:

According to the figure above you need to set PWM1 module and channel 1 for uses PWM for PP0 pin.
We have example code for the S12ZVL32 MCU. The S12ZVL32 has only one PWM module. However, it could be useful for inspiration.PWM example code for S12ZVL
I hope it helps you.
Best regards,
Diana