Das liegt am verwendeten Controller. Schaut doch mal eure inlcude Datei des jeweiligen Controllers an. In der iom32.h ist es WGM in der io8535.h PWM. Aber ihr müsst eigentlich nur mal reinschaun.
Gruß Muraad