Because firmware running on the module (2073XS) handles all muxing and abstraction of the physical IO on the internal SOC within the module, it can often become confusing when trying to map IO between the two entities.
Essentially, the module supports 3 PWM channels (4 are supported on the 2073X SOC)
While 4 of these distinct PWMs are mentioned in the 2073XS module datasheets, only 3 can be used at one time.
Note that within the module datasheet excerpt below, both the logical pins (used by the firmware/application) and physical pins are shown.
Note that pwm_tones.c in SDK 2.0.1 provides a nice starting point for PWM usage within an application.
In addition, there are a series of good threads here on the subject which should prove helpful as well: WICED Smart Forums
This thread seems to be an excellent one for PWM usage as the user was able to get everything working correct based on the guidance provided: PWM control in BLE SDK