Question about outputting a specific pulse width PWM signal on embassy_stm32

[thunderstorm010]

Hi, firstly I want to say sorry because I newly got involved in embedded programming and thus embassy.
Formerly I was using the STM32 HAL C libraries for writing code, where I could do for example __HAL_TIM_SET_COMPARE(tim1, pulse_width) to output a given pulse width.
But I couldn't find how to do this efficiently in embassy_stm32, there are only methods for outputting duty cycles, which could theoretically be calculated from a given pulse width, but as far as I know hardware division is not supported on the thumbv6m architecture which I am working on. Is it possible to output a specific pulse width without calculating the duty cycle? Thanks