Hi everyone. I want to set fan pwm value on starts i want to fan never run at bootloader. So i have found TegraPwmDxe.c file on GitHub - NVIDIA/edk2-nvidia: NVIDIA EDK2 platform support but there was only two variable about pwm.
For the Macros in TegraPwmDxe, please refer to 9.11 Pulse Width Modulator (PWM) of Orin Technical Reference Manual.
All we did in UEFI is enabling pwm and setting its value from register.
Please refer to the following table: