// // Created by kifir on 5/15/24. // #pragma once expected readGppwmChannel(gppwm_channel_e channel);