The TISCI_MSG_SET_CLOCK documentation for the tisci_msg_set_clock_req structure does not have the clk32 field at the right place.

The following is the actual structure definition in `<rm_pm_hal>/include/tisci/pm/tisci_pm_clock.h`

struct tisci_msg_set_clock_req {
    struct tisci_header    hdr;
    uint32_t            device;
    uint8_t            clk;
    uint8_t            state;
    uint32_t            clk32;
} {}attribute{}(({}packed{}));